The non-Euclidean, hyperbolic plane its structure and consistency - Kelly, Paul; Matthews, Gordon (Springer, 1981)