A methodology for lisp program construction from examples (1977)

by P D Summers
Venue:evalv(P1,· · · , Pn) = {〈evalv(P1)[i