An approach to the design of distributed systems with B AMN (1997)

by M J Butler
Venue:10th International Conference of Z Users (ZUM’97), volume LNCS 1212