@book{4530,
	author = {Sipser, Michael},
	title = {Introduction to the theory of computation},
	publisher = {Thomson Learning},
	year = {2007},
	address = {Australia},
	edition = {2nd ed.},
	note = {Includes bibliographical references and index.}
}