Title: The Calculus of Computation: Decision Procedures with Applications to Verification
Subjects: Computer software, testing, Logic programming