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