R. Gruszczyński and A. Pietruszczak, “A comparison of two systems of point-free topology”, B Sect Log, vol. 47, no. 3, pp. 187–200, Oct. 2018.