Nachman, L. J. (1968) “Hyperspaces of Proximity Spaces”., MATHEMATICA SCANDINAVICA, 23, pp. 201–213. doi: 10.7146/math.scand.a-10912.