Moses, Joel "Algebraic simplification: a guide for the perplexed"

[ACM] (1971) [ACM] CACM 14(08) August 1971  

Languages mentioned ALPAK {1963} Extension to ALTRAN to manipulate polynomials and rational functions PM {1966} Polynomial Manipulations SAC-1 {1967} Symbolic Algebraic Computing SIN {1967} Symbolic maths package