Introduction to Non-Euclidean Geometry - Wolfe, Harold E.