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