Romano, S. M. V. Linguagem Church: Modelo Generativo Que Pretende Unificar As Teorias Da Inteligência Artificial. RPS 2011, 3, 119-127.