Foundations of geometry and the noneuclidean plane. - Martin George E (1975)