7 works on record
Automated reasoning
Isabelle/HOL
FM 2006
Rewriting Techniques and Applications
Concrete Semantics
FM 2006 : Formal Methods
Functional Data Structures and Algorithms
