Buchholz, Wilfried: Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der Pi-Separation und Bar-Induktion. Verl. d. Bayer. Akad. d. Wiss. München 1983Sitzungsbericht der Bayerischen Akademie der Wissenschaften: 1983,3. ISBN 3-7696-4706-8 http://publikationen.badw.de/de/000364796