1. Balacheff, N. (1987a). “Processus de preuve et situations de validation”. Educational Studies In Mathematics 8, pp. 147–76.
2. -(1987b). “Cognitive Versus Situational AnaIysis of Problem-Solving Behaviors”. For The Learning of Mathematics, 6, 3, pp. 10–12.
3. -(1988). Une etude des processus de preuve en mathématiques chez des éléves de Collége. Thèse ďétat, Université de Grenoble 1.
4. Balacheff, N. and C. Laborde (1985). “Langage Symbolique et Preuves dans I’Enseignement Mathématique: Une Approche Socio-Cognitive”. In Mugny G., Psychologie Sociale du Développement Cognitif. Berne: Ed. Peter Lang.
5. Burke, M.J. (1984) The Use of Counterexample Logic By Adolescent. Ph.D., The University of Wisconsin, Madison.