Mathematical theory of Computation - Manna, Zohar (1994)
Keywords: Mathematics