3 works on record
Formal methods for components and objects
It's All About Coordination
Theory and Practice of Formal Methods