Text this: Design and implementation of symbolic computation systems :