Review of The calculus of computation: decision procedures with applications to verification by Aaron R. Bradley and Zohar Manna.