The cornell program synthesizer: a syntax-directed programming environment (1981)

by T Teitelbaum, T Reps
Venue:Commun. ACM