S. A. Gutnik
-
Mathematica: a system for doing mathematics by computer (2nd ed.)
A theoretical basis for the reduction of polynomials to canonical forms
ACM SIGSAM Bulletin