The foundations of geometry and the non-Euclidean plane - Martin, George Edward 1932- (Springer, 1975)