Marcello BonsangueBooksFormal methods for components and objectsTheory and Practice of Formal MethodsIt's All About CoordinationAuthor data: Open Library