U. Kohlenbach, “On Weak Markov’s Principle”, BRICS, vol. 8, no. 51, Dec. 2001.