Gerhardy, P.; Kohlenbach, U. Strongly Uniform Bounds from Semi-Constructive Proofs. BRICS 2004, 11.