[DS] Dowker H., Strauss D.: Paracompact frames and closed maps. Symp. Math. 16 (1975), 93-116. MR 0410663 | Zbl 0324.54015

[E] Engelking R.: General Topology. Warszawa, 1977. MR 0500780 | Zbl 0373.54002

[I] Isbell J.: Atomless parts of spaces. Math. Scand. 31 (1972), 5-32. MR 0358725 | Zbl 0246.54028

[J] Johnstone P. T.: Topos Theory. L.MS Mathematical Monographs 10, 1977. MR 0470019 | Zbl 0368.18001

[MV] Madden J., Vermeer J.: Lindelöf locales and realcompactness. Math. Proc. Camb. Philos. Soc. 90 (1986), 473-480. MR 0830360 | Zbl 0603.54021

[P1] Pultr A.: Remarks on metrizable locales. Proc. 12th Winter School on Abstracts Analysis, Suppl. ai Rend. del Circ. Mat. di Palermo-Ser II. 6 (1984), 247-158. MR 0782722 | Zbl 0565.54001

[P2] Pultr A.: Some recent topological results in locale theory. Proc. Sixth Prague Topological Symposium (1986), 451-468. MR 0952628