A wide spectrum language, the forerunner of Refine.
["Research on Knowledge-Based Software Environments at Kestrel Institute", D.R. Smith et al, IEEE Trans Soft Eng, SE-11(11) 1985]