Kohlenbach, U. (2000). Effective Uniform Bounds on the Krasnoselski-Mann Iteration. BRICS Report Series, 7(9). https://doi.org/10.7146/brics.v7i9.20136