Artigo Acesso aberto Revisto por pares

Refinement in hybridised institutions