1. Balacheff, N. (1991). Treatment of refutations: Aspects of the complexity of a constructivist approach to mathematics learning. In E. von Glasersfeld (Ed.), Radical constructivism in mathematics education (pp. 89–110). Dordrecht, The Netherlands: Kluwer Academic Publisher.
2. Balacheff, N. (1999). Is an argumentation an obstacle? Invitation to a debate. Retrieved from: http://www.lettredelapreuve.org/OldPreuve/Newsletter/990506Theme/990506ThemeUK.html
3. Ball, D. L., Hoyles, C., Janke, H., & Movshovitz-Hadar, N. (2002). The teaching of proof. In L. I. Tatsien (Ed.), Proceedings of the International congress of mathematicians (Vol. 3, pp. 907–920). Beijing: Higher Education Press.
4. Unpublished Master’s thesis (in Hebrew);O Buchbinder,2005
5. Buchbinder, O. (2010). The role of examples in establishing the validity of universal and existential mathematical statements, Unpublished dissertation manuscript (in Hebrew). Haifa: Technion.