Michael J. Butler: An Approach to the Design of Distributed Systems with B AMN. ZUM 1997: 223-241