Gruszczyński, Rafał, and Andrzej Pietruszczak. 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.