George E. Collins The SAC-2 Computer Algebra System. 34-35 1985 conf/eurocal/1985-2 European Conference on Computer Algebra (2) db/conf/eurocal/eurocal1985-2.html#Collins85