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