S. A. Celani and D. Montagie, “Hilbert Algebras with Hilbert-Galois Connections II”, B Sect Log, vol. 53, no. 4, pp. 535–554, Dec. 2024.