-A. Miola (Ed.): Design and Implementation of Symbolic Computation Systems, Proceedings 1993, Springer-Verlag 1993