Alfonso Miola Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings DISCO Lecture Notes in Computer Science 722 Springer 1993 3-540-57235-X db/conf/disco/disco1993.html