Howard, William A., cSome Proof Theory in the 19609sd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 2753288
V. Peckhaus, zbMATH Open, Zbl. 0881.01013 (1998).