Romano, S. M. V. “Linguagem Church: Modelo Generativo Que Pretende Unificar As Teorias Da Inteligência Artificial”. Revista Processando O Saber, vol. 3, outubro de 2011, p. 119-27, https://fatecpg.edu.br/revista/index.php/ps/article/view/108.