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.