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