The non-euclidean, hyperbolic plane: its structure and consistency - Kelly, Paul Joseph (Springer, 1981)