The Calculus of Computation : Decision Procedures with Applications to Verification - Bradley, Aaron R.; Manna, Zohar (Springer Verlag, 2007)