1. Stone-C̆ech compactification of locales, I;Banaschewski;Houston J. Math.,1980
2. Stone-C̆ech compactification of locales, II;Banaschewski;J. Pure Appl. Algebra,1984
3. B. Banaschewski and C.J. Mulvey, The spectral theory of commutative C∗-algebras, to appear.
4. B. Banaschewski and C.J. Mulvey, A globalisation of the Gelfand duality theorem, to appear.
5. Banach spaces in categories of sheaves;Burden,1979