Markov's principle and Markov's rule for theories of choice sequences - Troelstra, Anne S. 1939-2019 (Mathematisch Instituut <Amsterdam>: Report, 1974)