Design and implementation of symbolic computation systems International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings / - Miola, A. (Lecture notes in computer science ;)