1. Andrews, P. 1986 An introduction to mathematical logic and type theory: To truth through proof, Academic Press, New York, pp. 264–265.
2. Forster, T. 1992 Set theory with a universal set, Oxford Logic Guides, no. 20, Clarendon Press, London.
3. Grishin, V. N. 1972 The equivalence of Quine’s NF system to one of its fragments (in Russian), Nauchnotekhnicheskaya Informatsiya, series 2, vol. 1, pp. 22–24.
4. Hiller, A. P., and J. P. Zimbarg 1984 Self-reference with negative types, The Journal of Symbolic Logic, vol. 49, pp. 754–773.
5. Jensen, R. B. 1969 On the consistency of a slight(?) modification of Quine’s NF, Synthese, vol. 19, pp. 250–263.