1. Abelson, H., & di Sessa, A. (1980). Turtle geometry. Boston: MIT Press.
2. Antonini, S., & Mariotti, M. A. (2008). Indirect proof: What is specific to this way of proving? ZDM Mathematics Education, 40, 401–412.
3. Antonini, S., & Mariotti, M. A. (2009). Abduction and the explanation of anomalies: The case of proof by contradiction. In: Durand-Guerrier, V., Soury-Lavergne, S., & Arzarello, F. (Eds.), Proceedings of the 6th ERME Conference, Lyon, France.
4. Arsac, G. (1987). L’origine de la démonstration: Essai d’épistémologie didactique. Recherches en didactique des mathématiques, 8(3), 267–312.
5. Arsac, G. (1999). Variations et variables de la démonstration géométrique. Recherches en didactique des mathématiques, 19(3), 357–390.