1. Pseudo-completeness and the product of Baire spaces;Aarts;Pac. J. Math.,1973
2. C⁎-quotients in pointfree topology;Ball;Diss. Math.,2002
3. Well-embedding and Gδ-density in a pointfree setting;Ball;Appl. Categ. Struct.,2006
4. Pseudocompactness and the cozero part of a frame;Banaschewski;Comment. Math. Univ. Carol.,1996
5. Oz revisited;Banaschewski,2000