Buchholz, Wilfried: Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der Pi-Separation und Bar-Induktion. München 1984. Sitzungsberichte: 1983,3. https://publikationen.badw.de/en/000364796