@book{49210,
	author = {Manna, Zohar.},
	title = {Mathematical theory of computation.},
	publisher = {McGraw-Hill},
	year = {[1974]},
	series = {McGraw-Hill computer science series},
	address = {New York}
}