@book{11443,
	author = {Sipser, Michael.},
	title = {Introduction to the theory of computation /},
	publisher = {PWS Pub. Co. ;},
	year = {c1997 [reprinted 2005].},
	address = {Boston :}
}