Maietti, M. E.; Sambin, G. Why Topology in the Minimalist Foundation Must Be Pointfree. LLP 2013, 22, 167–199.