PM, A System for Polynomial Manipulation. - Collins, G. E. (Communications of the ACM, 1966)