Schütte, Kurt: Zur Beweistheorie von KPM. München 1994. Sitzungsberichte: 1992/93,2. https://publikationen.badw.de/de/011558871