David Joyner
US Naval Academy, Annapolis, MD, USA
The GAP 4 type system: organising algebraic algorithms
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation