1. Beeson, M.: Constructive geometry and the parallel postulate. Bull. Symb. Log. 22, 1–104 (2016)
2. Dodgson, C.: Euclid and His Modern Rivals. Macmillan, London (1885)
3. Euclid, Densmore, D., Heath, T.L.: Euclid’s Elements: All Thirteen Books Complete in One Volume. Green Lion Press (2002)
4. Hartshorne, R.: Geometry: Euclid and Beyond. Springer, New York (2013)
5. Heath, T.L.: The Thirteen Books of Euclid’s Elements. Dover Publications, Mineola (1956)