4 works on record
Verification of Sequential and Concurrent Programs
Logic Programming
Meta-Logics and Logic Programming
2003
Principles of Constraint Programming