1. Arzarello, F., Oliviero, F., Domingo, P., Robutti, O.: The Transition to Formal Proof in Geometry. In: Boero, P. (ed.) Theorems in School. From History, Epistemology and Cognition to Classroom, pp. 305–323 (2007)
2. Ben-Ari, M., Yeshno, T.: Conceptual Models of Software Artefacts. Interacting with Computers 18(6), 1336–1350 (2006)
3. Disessa, A.A.: Changing Minds. Computers, Learning, and Literacy. MIT Press, Cambridge (2001)
4. Fischbein, E.: Intuition in Science and Mathematics. Reidel, Dordrecht (1987)
5. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns – Elements of Resuable Object-Oriented Software. Addison Wesley, Reading (1995)