Mathematical theory of computation - Manna, Zohar (rz1, 1974)