Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '92 Bath, U.K