1. Gupta, H. N.: Contributions to the axiomatic foundations of geometry. Ph.D. Thesis, University of California, Berkeley (1965)
2. Gupta, H.N., Prestel, A.: On a class of Pasch-free Euclidean planes. Bull. Acad. Pol. Sci. Sér. Sci. Math. Astron. Phys. 20, 17–23 (1972)
3. Gupta, H.N., Prestel, A.: Triangle and Schwarz inequality in Pasch-free Euclidean geometry. Bull. Acad. Pol. Sci. Sér. Sci. Math. Astron. Phys. 20, 999–1003 (1972)
4. Hilbert, D.: Grundlagen der Geometrie, 12th edn. B. G. Teubner, Stuttgart (1977)
5. Hinman, P.G.: Fundamentals of mathematical logic. A. K. Peters, Wellesley (2005)