1. R. Beazer and D. S. Macnab; Modal extensions of heyting algebras, to appear in Colloquium Math.
2. J. Benabou; Treillis locaux et paratopologies, Séminaire C. Ehresmann, 1957/58 Pac. des Sciences de Paris, 1959.
3. Quotient frames and subspaces;Dowker;Proc. London Math. Soc.,1966
4. Separation axioms for frames;Dowker,1972
5. C. H. Dowker and D. Strauss; Products and sums in the category of frames, pp. 208-219 of Categorical Topology, Springer Lecture notes in Mathematics vol. 540.