Alfsen, E. M.; Fenstad, J. E. On the Equivalence Between Proximity Structures and Totally Bounded Uniform Structures. Math. Scand. 1959, 7, 353-360.