1. Alibert, D. (1988). Towards new customs in the classroom.For the learning of mathematics,8(2), 31–35.
2. Balacheff, N. (1988).A study of pupils' proving processes at the junior high school level. Unpublished paper presented at the Joint International Conference 66th NCTM and UCSMP Project, Chicago.
3. Bourbaki, N. (1971). The architecture of mathematics. In F. Le Lionnais (Ed.),Great currents of mathematical thought (Vol. 1). New York: Dover.
4. Fetzer, J. H. (1988). Program verification: The very idea.Communications of the ACM,31(9), 1048–1063.
5. Hanna, G. (1983).Rigorous proof in mathematics education. Toronto: OISE Press.