The foundations of geometry and the non-Euclidean plane - Martin, George E. 1932- (Springer, 1996)