Maietti, M. E., and G. Sambin. “Why Topology in the Minimalist Foundation Must Be Pointfree”. Logic and Logical Philosophy, vol. 22, no. 2, June 2013, pp. 167–199, doi:10.12775/LLP.2013.010.