C. Coppola and G. Gerla, “Mereological foundations of point-free geometry via multi-valued logic”, LLP, vol. 24, no. 4, pp. 535–553, Nov. 2015.