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