@book{6040,
	author = { Lewis,harry r / papadimitriou, christos h },
	title = { Elements of the theory of computation },
	address = { Prentice hall }
}