Silva, G. M. H. da; Haeusler, E. H. Sí­ntese Construtiva De Programas Utilizando Lógica Institucionista E Dedução Natural. Princí­pios 2010, 8, 25-61.