@book{34618,
	author = {Kozen, Dexter C.},
	title = {Automata and computability},
	publisher = {Springer-Verlag},
	year = {1997},
	address = {New York}
}