2 works on record
Coordination models and languages
Formal Methods for Quantitative Aspects of Programming Languages