Collins, George E., The SAC-1 Polynomial Greatest Common Divisor and Resultant System.
(1971)
Languages mentioned
SAC-1
{1967} Symbolic Algebraic Computing