Buchholz, Wilfried; Schütte, Kurt: Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis. Verl.d.Bayer.Akad.d.Wiss. München 1981Sitzungsbericht der Bayerischen Akademie der Wissenschaften: 1980,1. ISBN 3-7696-3580-9 http://publikationen.badw.de/de/003413160