@book{86865,
	author = {Sipser, Michael.},
	title = {Introduction to the theory of computation /},
	publisher = {PWS,},
	year = {c1997.},
	address = {Boston ; Toronto :}
}