The non-euclidean, hyperbolic plane: its structure and consistency - Kelly, Paul J; Matthews, Gordon (Universitext, 1981)