1. Symbol sense: informal sense-making in formal mathematics;Arcavi;For the Learning of Mathematics,1994
2. Developing and using symbol sense in mathematics;Arcavi;For the Learning of Mathematics,2005
3. Learning mathematics in a CAS environment: the genesis of a reflection about instrumentation and the dialectics between technical and conceptual work;Artigue;International Journal of Computers for Mathematical Learning,2002
4. Design principles of Mathpert: software to support education in algebra and calculus;Beeson,1998
5. Using CAS to solve a mathematics task: a deconstruction;Berger;Computers & Education,2010