@book{12108,
	author = {Manna, Zohar},
	title = {Mathematical theory of computation},
	publisher = {McGraw-Hill},
	year = {1974},
	series = {McGraw-Hill Computer Science series},
	address = {Tokyo},
	note = {"International student edition"}
}