Sandu, Gabriel/Hyttinen, Tapani, cIF Logic and the Foundations of Mathematicsd, Synthese 126 (2001), 37347
V. Peckhaus, zbMATH Open, Zbl. 0984.03006 (2002).