Anna PhilippouBooksFormal Techniques for Distributed Objects, Components, and SystemsFM 2016 : Formal MethodsAuthor data: Open Library