Calculus Of Computation Decision Procedures With Applications To ... - Bradley, Aaron R; Manna,Zohar (New Delhi Springer, 2007)