Loop spaces of Riemannian manifolds - Henrich, Falk-Florian (2009)