Mathematical theory of computation - Manna, Zohar (Dover, 2003)