3 works on record
Behavioural Types
Web Services, Formal Methods, and Behavioral Types
Formal Techniques for Distributed Objects, Components, and Systems