1. Anghileri, J. (2006). Scaffolding practices that enhance mathematics learning. Journal of Mathematics Teacher Education, 9(1), 33-52.
2. Arzarello, F. (2000). Inside and outside: Spaces, times and language in proof production. In T. Nakahara & M. Koyama (Hrsg.), Proceedings of PME XXIV, (1), (S. 23–38). Nishiki Print Co., Ltd.
3. Arzarello, F., Bartolini Bussi, M. G., Lun Leung, A. Y., Mariotti, M. A., & Stevenson, I. (2012). Experimental approaches to theoretical thinking: Artefacts and proofs. In G. Hanna & M. de Villiers (Hrsg.), Proof and Proving in mathematics education, New ICME Study Series 15, (S. 97–146). Springer.
4. Avigad, J. (2019). Learning logic and proof with an interactive theorem prover. In G. Hanna, D.A. Reid, & M. de Villiers (Hrsg.), Proof technology in mathematics research and teaching. (S. 277–290). Springer.
5. Baccaglini-Frank, A. (2011). Abduction in generating conjectures in dynamic geometry through maintaining dragging. In M. Pytlak, T. Rowland, & E. Swoboda (Hrsg.), Proceedings of the Seventh Congress of the European Society for Research in Mathematics Education (S. 110–119).