@book{16871,
	author = {Sipser, Michael and Queiroz, Ruy José Guerra Barreto de.},
	title = {Introdução à teoria da computação /},
	publisher = {Thomson Learning,},
	year = {2007.},
	address = {São Paulo :},
	note = {Título original: Introduction to the theory of computation.
Tradução da 2. edição norte-americana.
Esta obra apersenta a teoria da computação por meio de teoremas e provas.}
}