The Magma algebra system I: The user language (1997)

by Wieb Bosma, John J Cannon, Catherine Playoust
Venue:Journal of Symbolic Computation