A methodology for LISP program construction from examples (1977)

by P D Summers
Venue:Journal ACM