Buchholz, Wilfried; Schütte, Kurt: Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis. München 1981. Sitzungsberichte: 1980,1. https://publikationen.badw.de/de/003413160