@book{32138,
	author = {Kozen/Dexter C },
	title = {Automata and computability},
	publisher = {Springer},
	year = {1997}
}