U. Kohlenbach, “Effective Uniform Bounds on the Krasnoselski-Mann Iteration”, BRICS, vol. 7, no. 9, Jan. 2000.