Mathematical theory of computation
Manna, Zohar.
New York London McGraw-Hill
[1976]
Published in the United States: 1974
Includes bibliographies and index
Machine theory.