3 works on record
Specification, Algebra, and Software
Formal Methods and Software Engineering
Rewriting Logic and Its Applications