Formal methods for components and objects
Marcello M. Bonsangue
Formal Methods for Open Object-Based Distributed Systems
