2 works on record
Metric Spaces of Non-Positive Curvature
Geometric and Cohomological Methods in Group Theory