@book{16486,
	author = {Sipser, Michael},
	title = {Introduction to the Theory of Computation},
	publisher = {Thomson Learning},
	year = {2006},
	address = {Australia},
	note = {Includes bibliographic references and index}
}