@book{20177,
	author = {KOZEN},
	title = {AUTOMATA AND COMPUTABILITY},
	publisher = {SPRINGER},
	year = {1997},
	edition = {1},
	note = {400}
}