1. Alibert, D., & Thomas, M. O. J. (1991). Research on mathematical proof. In D. O. Tall (Ed.), Advanced mathematical thinking (pp. 215–230). Dordrecht: Kluwer.
2. Balacheff, N. (1999). Contract and custom: Two registers of didactical interactions. The Mathematics Educator, 9, 23–29.
3. Balacheff, N. (2010). Bridging knowing and proving in mathematics: An essay from a didactical perspective. In G. Hanna, H. N. Jahnke, & H. B. Pulte (Eds.), Explanation and proof in mathematics: Philosophical and educational perspectives (pp. 115–136). Berlin: Springer.
4. Ball, D. L., Hoyles, C., Jahnke, H. N., & Movshovitz-Hadar, N. (2002). The teaching of proof. In L. I. Tatsien (Ed.), Proceedings of the International Congress of Mathematicians (Vol. III: Invited Lectures, pp. 907–920). Beijing: Higher Education Press.
5. Bao, J., Huang, R., Yi, L., & Gu, L. (2003a). Study in bianshi teaching I. Mathematics Teaching (Shuxue Jiaoxue), 1, 11–12 [in Chinese].