1. Beeson, M.: Foundations of Constructive Mathematics. Springer, Heidelberg (1985)
2. Beeson, M.: Constructive geometry. In: Arai, T. (ed.) Proceedings of the Tenth Asian Logic Colloquium, Kobe, Japan, pp. 19–84. World Scientific, Singapore (2009)
3. Beeson, M.: Foundations of Constructive Geometry (available on the author’s website)
4. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
5. Descartes, R.: The Geometry of Rene Descartes as an appendix to Discours de la Methode, 1st edn. Dover, New York (1952); original title, La Geometrie. Facsimile with English translation by Smith, D.E., Latham, M.L.