The calculus of Computation : decision procedures with applications to verification - Bradley, Aaron R. (Springer, 2007)