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