Jäger, Gerhard; Pohlers, Wolfram: Eine beweistheoretische Untersuchung von Delta12-CA BI und verwandter Systeme. Verl. d. Bayer. Akad. d. Wiss. München 1982Sitzungsbericht der Bayerischen Akademie der Wissenschaften: 1982,1. ISBN 3-7696-4699-1 http://publikationen.badw.de/de/001077193