@book{104603,
	author = {KOZEN},
	title = {AUTOMATA AND COMPUTABILITY},
	publisher = {SPRINGER},
	edition = {1}
}