Lectures on hyperbolic geometry - Benedetti, Riccardo; Petronio, Carlo (Universitext, 1992)