@book{3174,
	author = {Lewis, Harry R. and Papadimitriou, Christos H.},
	title = {Elements of the theory of computation /},
	publisher = {Prentice-Hall ;},
	year = {c1998.[reprinted 2001]},
	address = {Upper Saddle River, N.J. :},
	edition = {2nd ed.}
}