Foundations of Euclidean and non-Euclidian geometry - Faber, Richard L. (Dekker, 1983)