@book{3155,
	author = {Lewis, Harry R. and Papadimitriou, Christos H.},
	title = {Elements of the theory of computation /},
	publisher = {Prentice-Hall,},
	year = {1981.},
	address = {New Jersey :},
	note = {Includes index.}
}