Silva, G. M. H. da, e E. H. Haeusler. “Sí­ntese Construtiva De Programas Utilizando Lógica Institucionista E Dedução Natural”. Princípios: Revista De Filosofia (UFRN), vol. 8, nº 10, outubro de 2010, p. 25-61, https://periodicos.ufrn.br/principios/article/view/627.