Formal Techniques for Distributed Objects, Components, and Systems - Alexey Gotsman, Ana Sokolova (Springer, 2020)