3 works on record
Formal Methods for Executable Software Models
Coordination Models and Languages
Types for Proofs and Programs