Gruszczyński, Rafał, and Andrzej Pietruszczak. “A Comparison of Two Systems of Point-Free Topology”. Bulletin of the Section of Logic 47, no. 3 (October 30, 2018): 187–200. Accessed March 29, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/4715.