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