Lewis, Harry R. Elements of the theory of computation / by Harry R. Lewis. - Englewood Cliffs, N.J. : Prentice Hall, 1981. - xiv, 466 p. - Prentice-Hall Software Series. . ISBN: 0132734176 Subjects--Topical Terms: Mathematics.Machine theory.Formal languages.Computational complexity.Logic, Symbolic and mathematical.