@book{6880,
	author = {Lewis, Harry R. and Papadimitriou, Christos H.},
	title = {Elements of the theory of computation},
	publisher = {Prentice-Hall of India, New Delhi},
	year = {2002},
	edition = {2nd ed.}
}