Silva, G.M.H. da y 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 (oct. 2010), 25–61.