6 works on record
Term rewriting
1995
Algebra, meaning, and computation
Conditional term rewriting systems
Functional Programming Languages and Computer Architecture
Rewriting Techniques and Applications
Certified Programs and Proofs