Luckhardt, Horst, cBounds Extracted by Georg Kreisel from Ineffective Proofsd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 2473273
V. Peckhaus, zbMATH Open, Zbl. 0896.03005 (1998).