Bélanger, M., and J.-P. Marquis. “Menger and Nöbeling on Pointless Topology”. Logic and Logical Philosophy, vol. 22, no. 2, June 2013, pp. 145–165, doi:10.12775/LLP.2013.009.