The HPC-GAP project
The GAP 4 type system: organising algebraic algorithms
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation