Catherine Playoust

Algebraic Programming with Magma II: An Introduction to the Magma Categories

Wieb Bosma, John Cannon, Catherine Playoust, 2009 .

Algebraic Programming with Magma I: An Introduction to the Magma Language

Catherine Playoust, John Cannon, 2006 .