Alfsen EM, Fenstad JE. On the Equivalence Between Proximity Structures and Totally Bounded Uniform Structures. Math. Scand. 1959;7:353-360. doi:10.7146/math.scand.a-10581