@book{13936,
	author = {Manna, Zohar},
	title = {Mathematical theory of Computation},
	year = {1994}
}