Abstract State Machines: Designing Distributed Systems with State Machines and B. - Bill Stoddart; Steve Dunne; Andy Galloway; Richard Shore (B, 1998)

A Use Case Interpretation of B AMN. - Richard Shore (IWFM, 1998)