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