1. Artigue, M. (2002). Learning mathematics in a CAS environment: the genesis of a reflection about instrumentation and the dialectics between technical and conceptual work. International Journal of Computers for Mathematical Learning, 7(3), 245–274. doi: 10.1023/A:1022103903080 .
2. Balacheff, N. (1988). Aspects of proof in pupils’ practice of school mathematics. In D. Pimm (Ed.), Mathematics, teachers and children (pp. 216–235). London: Hodder and Stoughton.
3. Battista, M. T., & Borrow, C. (1997). A computer microworld for promoting dynamic imagery in support of geometric reasoning. Paper presented at the Nineteenth Annual Meeting of the North American Chapter of the International Group for the Psychology of Mathematics Education. Columbus, OH.
4. Baulac, Y., Bellemain, F., & Laborde, J. M. (1988). Cabri-géomètre, un logiciel d’aide à l’enseignement de la géométrie, logiciel et manuel d’utilisation. Paris: Cedic-Nathan.
5. Clements, D., & Battista, M. (1994). Computer environments for learning geometry. Journal of Educational Computing, 10(2), 173–197.