Richard Pavelle MACSYMA: Capabilities and Applications to Problems in Engineering and the Sciences. 19-32 1985 conf/eurocal/1985-1 European Conference on Computer Algebra (1) db/conf/eurocal/eurocal1985-1.html#Pavelle85