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 Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=lazy">lazy languagE by M.J. O' DonnEll Ell@cs.uchicago.Edu>. CurrEnt vErsion: 4.2. {Sun and DEC vErsions (ftp://gargoylE.uchicago.Edu/pub/Equations/Eq4.2.tar.Z)}. ["Equational Logic as a Programming LanguagE", M.J. O' DonnEll, MIT PrEss 1985].