@book{4084,
	author = {Greenlaw, Raymond and Hoover, James},
	title = {Fundamentals of the Theory computation},
	publisher = {Morgan Kaufman}
}