Nachman, L. J. “Hyperspaces of Proximity Spaces”. MATHEMATICA SCANDINAVICA, vol. 23, June 1968, pp. 201-13, doi:10.7146/math.scand.a-10912.