Schütte, Kurt: Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit Pi-1/2-Separation und Bar-Induktion. München 1987. Sitzungsberichte: 1987,2. https://publikationen.badw.de/en/001150105