B. F. Caviness EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions EUROCAL Lecture Notes in Computer Science 204 Springer 1985 3-540-15984-3 db/conf/eurocal/eurocal1985-2.html