U. Kohlenbach, “Uniform Asymptotic Regularity for Mann Iterates”, BRICS, vol. 9, no. 10, Mar. 2002.