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