Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 1993 : proceedings - Miola, A. (Alfonso), 1944- (Lecture notes in computer science, 1993)