@book{4170,
	author = {Sipser, Michael},
	title = {Introduction to the theory of computation /},
	publisher = {Course Technology,},
	year = {2007.},
	address = {Australia :},
	edition = {2nd},
	note = {Includes bibliography and index}
}