Discovering mathematics with Magma : reducing the abstract to the concrete - Bosma, Wieb; Cannon, John Rozier (Springer, 2006)