@book{2183,
	author = {Kozen, Dexter C.},
	title = {Theory of computation},
	publisher = {Springer},
	year = {2007},
	address = {New York}
}