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

by Wieb Bosma, John Cannon, Catherine Playoust
Venue:J. Symbolic Comput