@book{856,
	author = {Sipser, M.},
	title = {Theory of Computation},
	publisher = {Cengage},
	year = {2007}
}