@book{5945,
	author = {Diverio, and Tiarajú,Asmuz},
	title = {Teoría da computação: maquinas universais e computabilidade},
	publisher = {Sagra-Luzzatto,},
	year = {1999},
	address = {Porto Alegre :}
}