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

by M Butler
Venue:ZUM’97: The Z Formal Specification Notation, Lecture Notes in Computer Science 1212