@Book{BuchholzSchütte1981,
author  = "Buchholz, Wilfried and Schütte, Kurt",
title   = "Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis",
year    = "1981",
address = "München",
series  = "Sitzungsberichte",
volume  = "1980,1",
url     = "https://publikationen.badw.de/en/003413160",
}