Gruszczyński, R., & Pietruszczak, A. (2018). A comparison of two systems of point-free topology. Bulletin of the Section of Logic, 47(3), 187–200. https://doi.org/10.18778/0138-0680.47.3.04