| |
| 1998 | ||
|---|---|---|
| 2 | EE | Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore: Abstract State Machines: Designing Distributed Systems with State Machines and B. B 1998: 226-242 |
| 1 | Richard Shore: A Use Case Interpretation of B AMN. IWFM 1998 | |
| 1 | Steve Dunne | [2] |
| 2 | Andy Galloway | [2] |
| 3 | Bill Stoddart | [2] |