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