Silva, G. M. H. da, y E. H. Haeusler. «Sí­ntese Construtiva De Programas Utilizando Lógica Institucionista E Dedução Natural». Princípios: Revista De Filosofia (UFRN), vol. 8, n.º 10, octubre de 2010, pp. 25-61, https://periodicos.ufrn.br/principios/article/view/627.