Gruszczyński, R., and A. Pietruszczak. “A Comparison of Two Systems of Point-Free Topology”. Bulletin of the Section of Logic, vol. 47, no. 3, Oct. 2018, pp. 187–200, doi:10.18778/0138-0680.47.3.04.