The calculus of computation: decision procedures with appliciations to verification - Bradley, Aron R (Springer, 2007)