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