Department of Mathematics and Computer Science, University of La Rioja, Logroño, Spain. Research has been focused on the design, specification and construction of symbolic computation systems for Algebraic Topology.