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