1. Abelson, H., & diSessa, A. (1980).Turtle geometry: The computer as a medium for exploring mathematics. Cambridge, MA: MIT Press.
2. Balacheff, N. (1987). Processus de preuve et situations de validation.Educational Studies in Mathematics, 18, 147–176.
3. Balacheff, N. (1988).Aspects of proof in pupils’ practice of school mathematics. In D. Pimm (Ed.),Mathematics, teachers and children, (pp. 216–235). London: Hodder and Stoughton.
4. Beaulieu, L. (1990). Proofs in expository writing: Some examples from Bourbaki’s early drafts.Interchange, 21(92), 35–45.
5. Biggs, J. (1999).Teaching for quality learning at university. Buckingham: SRHE and Open University Press.