Christos H. Papadimitriou,Harry R. Lewis Elements of the theory of computation - 2nd, - NULL Pearson Education 2002 - 361 ISBN: 8178084872 Subjects--Topical Terms: Machine theory/ Formal language/ Computational complexity/ Logic, symbolie and mathematical Dewey Class. No.: 511. 3 LEE /