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).