@book{10447,
	author = {Sipser, Michael.},
	title = {Introduction to the theory of computation /},
	publisher = {PWS Pub. Co.,},
	year = {c2006 [reprinted2013].},
	address = {Boston :},
	edition = {2nd ed.}
}