Markov's principle and Markov's rule for theories of choice sequences - Troelstra, Anne S. 1939-2019 (1974)