G. M. H. da Silva and E. H. Haeusler, “Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural”, Princí­pios, vol. 8, no. 10, pp. 25–61, Oct. 2010.