Stav dette: Design and implementation of symbolic computation systems :