Kohlenbach, U. (2001) “On Weak Markov’s Principle”, BRICS Report Series, 8(51). doi: 10.7146/brics.v8i51.21712.