3 works on record
The calculus of computation
Programming for Engineers
The Calculus of Computation: Decision Procedures with Applications to Verification