| |
| 1988 | ||
|---|---|---|
| 3 | Rosalind L. Ibrahim, John A. Ogden, Shirley A. Williams: Should Concurrency be Specified? Specification and Verification of Concurrent Systems 1988: 246-271 | |
| 2 | Victoria A. Burrill, John A. Ogden: VORTEXT: The Hard-backed Screen. Electronic Publishing 2(3): 143-156 (1988) | |
| 1983 | ||
| 1 | P. J. Brown, John A. Ogden: The SUPERMAC Macro Processor in Pascal. Softw., Pract. Exper. 13(4): 295-304 (1983) | |
| 1 | Peter J. Brown (P. J. Brown) | [1] |
| 2 | Victoria A. Burrill | [2] |
| 3 | Rosalind L. Ibrahim | [3] |
| 4 | Shirley A. Williams | [3] |