Programming with Algebraic Structures: Design of the MAGMA Language.

Wieb Bosma, John J. Cannon, Graham Matthews

Browse the full ISSAC paper archive.