Feferman, Solomon, cKreisel9s 8Unwindin Programd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 2473273
V. Peckhaus, zbMATH Open, Zbl. 0889.03045 (1998).