Bruno Buchberger EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures EUROCAL Lecture Notes in Computer Science 203 Springer 1985 3-540-15983-5 db/conf/eurocal/eurocal1985-1.html