The Calculus Of Computation by Aaron R. Bradley & Zohar Manna