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

by W Bosma, J Cannon, C Playoust
Venue:J. Symbolic Computation