Balacheff, N.: 1988, ‘Aspects of proof in pupils' practice of school mathematics’, in D. Pimm (ed.),*Mathematics, Teachers and Children*, Hodder and Stoughton, London, pp. 216–230.

Bell, A. W.: 1976, ‘A study of pupils' proof-explanations in mathematical situations’,*Educational Studies in Mathematics*
**7**, 23–40.

Bittinger, M. L.: 1969, ‘The effect of a unit in mathematical proof on the performance of college mathematics majors in future mathematics courses’,*Dissertation Abstracts*
**29**, 3906A. (University Microfilms No. 69-7421)

Bittinger, M. L.: 1982,*Logic, Proof, and Sets*, Addison-Wesley, Reading, MA.

Dreyfus, T.: 1990, ‘Advanced mathematical thinking’, in P. Nesher and J. Kilpatrick (eds.),*Mathematics and Cognition: A Research Synthesis by the International Group for the Psychology of Mathematics Education*, Cambridge University Press, Cambridge, pp. 113–134.

Dubinsky, D. and Lewin, P.: 1986, ‘Reflective abstraction and mathematics education: The genetic decomposition of induction and compactness’,*Journal of Mathematical Behavior*
**5**, 55–92.

Duval, R.: 1991, ‘Structure du raisonnement d éductif et apprentissage de la démonstration’,*Educational Studies in Mathematics*
**22**, 233–261.

Fletcher, P. and Patty, C. W.: 1988,*Foundations of Higher Mathematics*, PWS-Kent, Boston.

Galbraith, P. L.: 1981, ‘Aspects of proving: A clinical investigation of process’,*Educational Studies in Mathematics*
**12**, 1–28.

Glaser, B. G. and Strauss, A. L.: 1967,*The Discovery of Grounded Theory*, Aldine, New York.

Goldberg, D. J.: 1975, ‘The effects of training in heuristic methods on the ability to write proofs in number theory’,*Dissertation Abstracts International*
**35**, 4989B.

Hart, E. W.: 1987, ‘An exploratory study of the proof-writing performance of college students in elementary group theory’,*Dissertation Abstracts International*
**47**, 4313A. (University Microfilms No. 8707982)

Laborde, C.: 1990, ‘Language and mathematics’, in P. Nesher and J. Kilpatrick (eds.),*Mathematics and Cognition: A Research Synthesis by the International Group for the Psychology of Mathematics Education*, Cambridge University Press, Cambridge, pp. 51–69.

Leron, U.: 1985, ‘Heuristic presentations: The role of structuring’,*For the Learning of Mathematics*
**5**(3), 7–13.

Lewis, S. M.: 1987, ‘University mathematics students' perception of proof and its relationship to achievement’,*Dissertation Abstracts International*
**47**, 3345A. (University Microfilms No. 8629607)

Moore, R. C.: 1990,*College Students' Difficulties in Learning to Do Mathematical Proofs*, unpublished doctoral dissertation, University of Georgia, Athens.

Morash, R. P.: 1987,*Bridge to Abstract Mathematics: Mathematical Proof and Structures*, Random House, New York.

Morgan, W. H.: 1972, ‘A study of the abilities of college mathematics students in proof-related logic’,*Dissertation Abstracts International*
**32**, 4081B.

Rin, H.: 1983, ‘Linguistic barriers to students' understanding of definitions’, in R. Hershkowitz (ed.),*Proceedings of the Seventh International Conference for the Psychology of Mathematics Education*, Weizmann Institute of Science, Rehovot, Israel, pp. 295–300.

Schoenfeld, A. H.: 1985,*Mathematical Problem Solving*, Academic Press, Orlando, FL.

Smith, D., Eggen, M., and St. Andre, R.: 1990,*A Transition to Advanced Mathematics* (*3rd ed.*, Brooks/Cole, Pacific Grove, CA.

Solow, D.: 1990,*How to Read and Do Proofs: An Introduction to Mathematical Thought Processes* (*2nd ed.*, Wiley, New York.

Tall, D. and Vinner, S.: 1981, ‘Concept image and concept definition in mathematics with particular reference to limits and continuity’,*Educational Studies in Mathematics*
**12**, 151–169.

Vinner, S.: 1983, ‘Concept definition, concept image and the notion of function’,*International Journal of Mathematics Education in Science and Technology*
**14**, 293–305.

Vinner, S. and Dreyfus, T.: 1989, ‘Images and definitions for the concept of function’,*Journal for Research in Mathematics Education*
**20**, 356–366.