Wieb Bosma John J. Cannon Graham Matthews Programming with Algebraic Structures: Design of the MAGMA Language. 52-57 1994 ISSAC http://doi.acm.org/10.1145/190347.190362 db/conf/issac/issac94.html#BosmaCM94