Alfonso Miola

Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings (Lecture Notes in Computer Science, 429)