Barendregt, Henk, cKreisel, Lambda Calculus, a Windmill and a Castled, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3314
V. Peckhaus, zbMATH Open, Zbl. 0894.01007 (1998).