Reference
Wilfried Buchholz, Kurt Schütte (1981): Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis – Sitzungsberichte der mathematisch-physikalischen Klasse der Bayerischen Akademie der Wissenschaften München – 1980: 1 - 35.