Teitelbaum, Tim and Reps, Thomas "The Cornell program synthesizer: a syntax-directed programming environment"

[ACM] CACM 24(09) (Sept. (1981) [ACM] CACM 24(09) (Sept. 1981)  

Languages mentioned PL/CS {1974} PL/I subdialect for the CPS