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, doi:10.5281/zenodo.15571854.