A Generalized Technique for Symbol Manipulation and Numerical Calculation (1960)