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