Michael J. Butler An Approach to the Design of Distributed Systems with B AMN. 223-241 1997 conf/zum/1997 ZUM db/conf/zum/zum1997.html#Butler97 https://doi.org/10.1007/BFb0027291