Hon, Giora, cCompleteness has to be Restrictedd, in: Petr Hájek (ed.), Gödel . Logical Foundations of Mathematics, Computer Science and Physics 4 Kurt Gödel9s Legacy. Proceedings of a Conference, Brno, Czech Republic, August 1996, Springer-Verlag: Berlin 1996 (= Lect. Notes Log.; 6), 2143223
V. Peckhaus, zbMATH Open, Zbl. 0856.01020 (1997).