Geometry of nonpositively curved manifolds - Eberlein, Patrick B. (Chicago Univ. Press, 1997)