Mathematical theory of computation - Manna, Zohar, 1939-2018 (McGraw-Hill Computer Science Series, 1974)