-J. Fitch (Ed.): Design and Implementation of Symbolic Computation Systems, Proceedings 1992, Springer-Verlag 1993