The Didactical Challenge of Symbolic Calculators Turning a Computational Device into a Mathematical Instrument - Guin, Dominique; Ruthven, Kenneth; Trouche, Luc (Springer US, 2005)