Silva, Geiza Maria Hamazaki da, et Edward Hermann Haeusler. « Sí­ntese Construtiva De Programas Utilizando Lógica Institucionista E Dedução Natural ». Princípios: Revista De Filosofia (UFRN), vol. 8, nᵒ 10, octobre 2010, p. 25-61, https://www.periodicos.ufrn.br/principios/article/view/627.