Gerhardy, P. and Kohlenbach, U. (2004) “Strongly Uniform Bounds from Semi-Constructive Proofs”, BRICS Report Series, 11(31). doi: 10.7146/brics.v11i31.21856.