1. Pairwise complete regularity as a separation axiom;Aarts;J. Austral Math. Soc. Ser. A,1990
2. A bitopological view on cocompact extensions;Aarts;Topology Appl.,1991
3. On the notion of realcompactness for bitopological spaces;Brümmer;Math. Colloq. Univ. Cape Town,1977
4. Encyclopedia of General Topology;Hart,2004
5. Rings of Continuous Functions;Gillman,1960