Collins, George E., and David R. Musser, The SAC-1 Polynomial Factorization System.
(1971)
Languages mentioned
SAC-1
{1967} Symbolic Algebraic Computing