Mathematical Theory Of Computation by Zohar Manna