1. Beeson, M.: The Church numbers in NF set theory (2021). arXiv:2108.09270
2. Beeson, M.: Intuitionistic NF Set Theory (2021). arXiv:2104.00506
3. Forster, T.E.: Set Theory with a Universal Set: Exploring an Untyped Universe. Oxford University Press, Oxford (1995)
4. Forster, T.E.: A tutorial on constructive NF. In: Proceedings of the 70th Anniversary NF Meeting in Cambridge, vol. 16 (2009)
5. Frege, G.: Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. In: van Heijenoort, J. (ed.) From Frege to Gödel: A Source Book in Mathematical Logic, pp. 1897–1931. Harvard University Press, Cambridge (2002)