1. English Language Programs. Language for testing avionics equipment, on Varian 620/i.
"Multiband Automatic test Equipment - A Computer Controlled Checkout System", T. Kuroda et al, Proc SJCC, 38 (1971).
2. Equational Logic Programming. A semantically pure, fully lazy language by M.J. O'Donnell odonnell@cs.uchicago.edu . Current version: 4.2.
Sun and DEC versions .
["Equational Logic as a Programming Language", M.J. O'Donnell, MIT Press 1985].