Steven Vickers. Sublocales in formal topology. Journal of Symbolic Logic, 72(2):463-482, 2007. [doi]
@article{Vickers07-0, title = {Sublocales in formal topology}, author = {Steven Vickers}, year = {2007}, url = {http://projecteuclid.org/euclid.jsl/1185803619}, researchr = {https://researchr.org/publication/Vickers07-0}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {72}, number = {2}, pages = {463-482}, }