The MAGMA algebra system I: the user language (1997)

by W Bosma, J Cannon, C Playoust
Venue:J. Symb. Comput