E. M. Alfsen and J. E. Fenstad, “On the Equivalence Between Proximity Structures and Totally Bounded Uniform Structures”., Math. Scand., vol. 7, pp. 353–360, Dec. 1959, doi: 10.7146/math.scand.a-10581.