The GAP 4 Type System: Organising Algebraic Algorithms.

Thomas Breuer Steve Linton The GAP 4 Type System: Organising Algebraic Algorithms. 38-45 1998 ISSAC http://doi.acm.org/10.1145/281508.281540 db/conf/issac/issac98.html#BreuerL98