1. Untersuchungen über Filterräume;Banaschewski,1953
2. Stone-Čech compactification of locales;Banaschewski;I. Houston J. Math.,1980
3. B. Banaschewski and C.J. Mulvey, Gelfand duality in a Grothendieck topos, to appear.
4. Formal Spaces;Fourman,1982
5. Sheaf models for analysis;Fourman,1979