Schütte, Kurt: Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit Pi-1/2-Separation und Bar-Induktion. Verl. d. Bayer. Akad. d. Wiss. München 1987Sitzungsbericht der Bayerischen Akademie der Wissenschaften: 1987,2. ISBN 3-7696-4720-3 http://publikationen.badw.de/de/001150105