[ACM] CACM 24(09) (Sept. 1981)
(1981)
(1957)
Communications of the ACM
Teitelbaum, Tim and Reps, Thomas (1981)
Teitelbaum, Tim and Reps, Thomas "The Cornell program synthesizer: a syntax-directed programming environment"