A Generalized Technique for Symbol
Manipulation and Numerical Calculation 
CACM March, 1961
Ross, D. T.
