@book{26125,
	author = {Sipser, Michael},
	title = {Introduction to the Theory of Computation},
	publisher = {Thomson},
	year = {2005},
	address = {Boston},
	edition = {9th}
}