1. Alcock, L., & Weber, K. (2005). Proof validation in real analysis: Inferring and evaluating warrants. Journal of Mathematical Behavior, 24(2), 125–134.
2. Arzarello, F. (2007). The proof in the 20th century: From Hilbert to automatic theorem proving. In P. Boero (Ed.), Theorems in schools: From history, epistemology, and cognition to classroom practice. Rotterdam: Sense Publishers.
3. Balacheff, N. (2002). The researcher epistemology: A deadlock from educational research on proof. In F. L. Lin (Ed.), 2002 International conference on mathematics education- understanding proving and proving to understand. Taipei: NCS and NUST.
4. Boero, P. (1999). Argumentation and mathematical proof: A complex, productive, unavoidable relationship in mathematics and mathematics education. International Newsletter on the Teaching and Learning of Mathematical Proof. Retrieved August 2, 2010, from http://www.lettredelapreuve.it/OldPreuve/Newsletter/990708Theme/990708ThemeUK.html
5. Davis, P. (1972). Fidelity in mathematical discourse: Is one and one really two? American Mathematical Monthly, 79, 252–263.