Mathematical Theory Of Computation door Zohar Manna