P. Gerhardy and U. Kohlenbach, “Strongly Uniform Bounds from Semi-Constructive Proofs”, BRICS, vol. 11, no. 31, Dec. 2004.