Teoria da computação : máquinas universais e computabilidade - Diverio, Tiarajú Asmuz. (UFRGS/Instituto de Informática : Sagra Luzzatto, 2000)