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