Uma abordagem modelo-teórica da computabilidade de Turing clássica - Araújo, Anderson (2011)
Orientador: Walter Alexandre Carnielli