1. Bishop, E.: 1972,Aspects of Constructivism, New Mexico State University, Mathematical Sciences, Las Cruces, N.M.
2. Davis, P. J.: 1977, ?Proof, completeness, transcendentals, and sampling?,Journal of the Association for Computing Machinery 24, 298?310.
3. Davis, P. J. and Hersh, R.: 1981,The Mathematical Experience, Boston, Birkhauser.
4. de Villiers, M.: 1990, ?The role and function of proof in mathematics?,Pythagoras 24, 17?24.
5. de Villiers, M.: 1991, ?Pupils' needs for conviction and explanation within the context of geometry?,Pythagoras 26, 18?27.