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