1. Constructive complete distributivity. I;Fawcett;Math. Proc. Camb. Philos. Soc.,1990
2. Stone Spaces;Johnstone,1982
3. Preframe presentations present;Johnstone,1991
4. Preframe Techniques in Constructive Locale Theory;Townsend,1996
5. A categorical account of the Hofmann–Mislove theorem;Townsend;Math. Proc. Camb. Philos. Soc.,2005