The SUPERMAC Macro Processor in Pascal. - P. J. Brown; John A. Ogden (Softw. Pract. Exp., 1983)

Should Concurrency be Specified? - Rosalind L. Ibrahim; John A. Ogden; Shirley A. Williams (Specification and Verification of Concurrent Systems, 1988)

VORTEXT: The Hard-backed Screen. - Victoria A. Burrill; John A. Ogden (Electron. Publ., 1988)