Recursive programming through table look-up (1976)

by D P Friedman, D S Wise, M Wand
Venue:in Proc. ACM Symp. Symbolic and Algebraic Computation