Alfonso Miola Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings DISCO Lecture Notes in Computer Science 429 Springer 1990 3-540-52531-9 db/conf/disco/disco1990.html