Mappings of proximity structures Dowker, C. H. — 1962 General Topology and its Relations to Modern Analysis and Algebra
On Urysohn's lemma Dowker, C. H. — 1967 General Topology and its Relations to Modern Analysis and Algebra