The didactical challenge of symbolic calculators : turning a computational device into a mathematical instrument - Guin, Dominique. ed (Springer, 2005)