| 1994 | ||
|---|---|---|
| 2 | J. R. Rowson: Formal specification and analysis of an ISO communications protocol. FORTE 1994: 277-279 | |
| 1989 | ||
| 1 | C. T. Burton, S. J. Cook, S. Gikas, J. R. Rowson, S. T. Sommerville: Specifying the Apple Macintosh Toolbox Event Manager. Formal Asp. Comput. 1(2): 147-171 (1989) | |
| 1 | C. T. Burton | [1] |
| 2 | S. J. Cook | [1] |
| 3 | S. Gikas | [1] |
| 4 | S. T. Sommerville | [1] |