@book{6892,
	author = {Michael Sipser},
	title = {Introduction to the theory of COMPUTATION},
	publisher = {Thomson},
	year = {2006},
	note = {Includes Selected Bibliography and Index}
}