D.R. Smith et al, "Research on Knowledge-Based Software Environments at Kestrel Institute"

(1985) IEEE Transactions on Software Engineering, November 1985  

Languages mentioned CHI {1981} Logic-based system for transformations Refine {1985} V {1981}