1. Avigad, J., Dean, E., Mumma, J.: A formal system for Euclid’s Elements. Review of Symbolic Logic 2, 700–768 (2009)
2. Beeson, M.:
http://www.michaelbeeson.com/research/FormalTarski/index.php
3. Beeson, M.: Foundations of Constructive Geometry (2012), Available on the author’s website,
www.michaelbeeson.com/research/papers/pubs.html
4. LNCS;M. Beeson,2012
5. Borsuk, K., Szmielew, W.: Foundations of Geometry: Euclidean and Bolyai-Lobachevskian Geometry, Projective Geometry. North-Holland, Amsterdam (1960); translated from Polish by Marquit, E.