The didactical challenge of simbolic calculators: turning a computational device into a mathematical instrument - Guin, Dominique; Ruthven, Kenneth; Trouche, Luc (Mathematics Education Library, 36, 2005)