Green et al., C. "Research on knowledge-based programming and algorithm design -- 1981," Kestrel Inst., Palo Alto, CA, 1981.

Languages mentioned

• CHI {1981} Logic-based system for transformations
• V {1981}