Kohlenbach, U. “Uniform Asymptotic Regularity for Mann Iterates”. BRICS Report Series, Vol. 9, no. 10, Mar. 2002, doi:10.7146/brics.v9i10.21728.