1. Boffa, M., “The consistency problem for \NF,” The Journal of Symbolic Logic, vol. 42 (1977), pp. 215–20. Zbl 0377.02040 MR 58:21604
2. Crabbé, M., “Ambiguity and stratification,” Fundamenta Mathematicæ, vol. 101 (1978), pp. 11–17. Zbl 0404.03041 MR 80h:03073
3. Crabbé, M., “On \NFU,” Notre Dame Journal of Formal Logic, vol. 33 (1992), pp. 112–19. Zbl 0766.03031 MR 93m:03090
4. Dzierzgowski, D., “Équivalence élémentaire de structures stratifiées,” Cahiers du Centre de Logique, vol. 6 (1986), pp. 47–62.
5. Forster, T., Set Theory with a Universal Set, Exploring an Untyped Universe, 2d edition, Oxford Logic Guides, Clarendon Press, Oxford, 1995. Zbl 0831.03027 MR 96i:03048