[1] Dowker C. H., Strauss D.: 
Paracompact frames and closed maps. Sympos. Math. 16 (1975), 93-116. 
MR 0410663 | 
Zbl 0324.54015 
[2] Dowker C. H., Strauss D.: 
Sums in the category of frames. Houston J. Math. 3 (1977), 7-15. 
MR 0442900 | 
Zbl 0341.54001 
[5] Kelley J. L.: 
General Topology. The University Series in Higher Mathematics, Van Nostrand, 1955. 
MR 0070144 | 
Zbl 0066.16604 
[6] Kříž I., Pultr A.: 
Systems of covers of frames and resulting subframes. Proc. 14th Winter School, Suppl. ai Rend. del Circ. Mat. diPalermo, Ser.II - No 14 (1987), 353-364. 
MR 0920868 
[7] Pultr A.: 
Pointless uniformities I. Complete regularity. Comment. Math. Univ. Carolinae 25 (1984), 91-104. 
MR 0749118 | 
Zbl 0543.54023 
[8] Sun Shu-Hao: 
On paracompact locales and metric locales. Comment. Math. Univ. Carolinae 30 (1989), 101-107. 
MR 0995708