U. Kohlenbach, “On Weak Markov’s Principle”, BRICS, bd. 8, nr. 51, dec. 2001.