1. Almeida, D. (2000). A survey of mathematics undergraduates’ interaction with proof: some implications for mathematics education. International Journal of Mathematical Education in Science and Technology, 31(6), 869–890.
2. Almeida, D. (2001). Pupils’ proof potential. International Journal of Mathematical Education in Science and Technology, 32(1), 53–60.
3. Antonini, S. (2003). Non-examples and proof by contradiction. In N. Pateman, B. J. Dougherty, & J. Zilliox (Eds.), Proceedings of the 27th annual meeting of PME and PMENA (Vol. 2, pp. 49–55). Honolulu: University of Hawaii.
4. Antonini, S., & Mariotti, M. A. (2006). Reasoning in an absurd world: difficulties with proof by contradiction. In J. Novotnà, H. Moarovà, M. Kràtkà, & N. Stelìchovà (Eds.), Proceedings of the 30th conference of the International Group for the Psychology of mathematics education (Vol. 2, pp. 65–72). Prague: Czech Republic.
5. Antonini, S., & Mariotti, M. A. (2008). Indirect proof: what is specific to this way of proving? ZDM-The International Journal of Mathematics Education, 40(3), 401–412.