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