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