@book{194019,
	author = {Sipser, Michael.},
	title = {Introduction to the theory of computation /},
	publisher = {Thomson Books Cole ,},
	year = {1997.},
	address = {London :},
	edition = {2nd ed.}
}