[1] The American Heritage Dictionary of the English Language. 4th ed. Houghton Mifflin, Boston, 2000.

[2] Asiala, M., Dubinsky, E., Mathews, D., Morics, S., Oktac, A.: Student understanding of cosets, normality and quotient groups. Journal of Mathematical Behavior 16 (1997), 241–309.

[3] Brown, A., DeVries, D., Dubinsky, E., Thomas, K.: Learning binary operations, groups, and subgroups. Journal of Mathematical Behavior 16 (1997), 187–289.

[4] Burger, W., Shaughnessy, J. M.: Characterizing the van Hiele levels of development in geometry. Journal of Research in Mathematical Education 16 (1986), 31–48.

[5] Edwards, B.: Undergraduate mathematics majors’ understanding and use of formal definitions in real analysis. Unpublished doctoral dissertation, Pennsylvania State University 1997.

[6] Edwards, B.: An undergraduate student’s understanding and use of mathematical definitions in real analysis. In: Proceedings of the Nineteenth Annual Meeting of the North American Chapter of the International Group for the Psychology of Mathematics Education, vol. 1, ERIC Clearinghouse for Science, Mathematics and Environmental Education, Columbus, OH, 1997, 17–22.

[7] Exner, G. R.: An Accompaniment to Higher Mathematics. Springer-Verlag, New York, 1996. MR 1383319 | Zbl 0839.00004

[8] Harel, G., Sowder, L.: Students’ proof schemes: Results from exploratory studies. In: Issues in Mathematics Education Vol. 7: Research in Collegiate Mathematics Education. III, A. H. Schoenfeld et al., eds., American Mathematical Society, Providence, 1998, 234–383.

[9] Henderson, D. W.: Experiencing Geometry in Euclidean, Spherical and Hyperbolic Spaces. 2nd ed. Prentice Hall, Upper Saddle River, NJ 2001.

[10] Landau, S. I.: Dictionaries: The Art and Craft of Lexicography. 2nd ed. Cambridge University Press, Cambridge 2001.

[11] Moore, R. C.: Making the transition to formal proof. Educational Studies in Mathematics 27 (1994), 249–266.

[12] Pereira-Mendoza, L.: What is a quadrilateral?. Mathematics Teacher 86 (1993), 774–776.

[13] Principles and Standards for School Mathematics. The National Council of Teachers of Mathematics, Reston, VA 2000.

[14] Prevost, F. J.: Geometry in the junior high school. Mathematics Teacher 79 (1985), 411–417.

[15] Robinson, R.: Definition. Oxford University Press, London, 1954; reprinted by D. R. Hillman & Sons, Frome, U. K. 1962.

[16] Selden, A., Selden, J.: Validations of proofs considered as texts: Can undergraduates tell whether an argument proves a theorem?. Journal of Research in Mathematical Education 34 (2003), 4–36.

[17] Solow, D.: How To Read and Do Proofs: An Introduction to Mathematical Thought Processes. 3rd ed. John Wiley & Sons, New York 2002.

[18] Stewart, I.: Nature’s Numbers: Discovering Order and Pattern in the Universe. Weidenfeld & Nicholson, London 1995.

[19] Tall, D.: The transition to advanced mathematical thinking: Functions, limits, infinity and proof. In: NCTM Handbook of Research on Mathematics Teaching and Learning, D. A. Grouws, ed., Macmillan, New York 1992, 495–511.

[20] Velleman, D. J.: How To Prove It: A Structured Approach. Cambridge University Press, Cambridge 1994. MR 1304258 | Zbl 0816.00004

[21] Vinner, S.: The Role of Definitions in the Teaching and Learning of Mathematics. In: Advanced Mathematical Thinking, D. Tall, ed., Kluwer, Dordrecht 1991, 65–81.