publicações selecionadas artigo de revista Representational Reasoning and Verification. Formal Aspects of Computing. 2000
