Title: The calculus of computation
Subjects: Computer logic, Verification, Computer programs, Computer software, testing, Logic programming