Wieb Bosma John J. Cannon Catherine Playoust The Magma Algebra System I: The User Language. 235-265 1997 24 J. Symb. Comput. 3/4 db/journals/jsc/jsc24.html#BosmaCP97