Njastad O. Some Properties of Proximity and Generalized Uniformity. Math. Scand. 1963;12:47-56. doi:10.7146/math.scand.a-10672