EUROCAL '85. v.1, : Invited lectures : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings - Buchberger, Bruno.; Caviness, Bob F. (Springer-Verlag, 1985)