Reference
Kurt Schütte (1987): Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit Pi-1/2-Separation und Bar-Induktion – Sitzungsberichte der mathematisch-physikalischen Klasse der Bayerischen Akademie der Wissenschaften München – 1987: 11 - 41.