L. J. Nachman, “Hyperspaces of Proximity Spaces”., Math. Scand., vol. 23, pp. 201–213, Jun. 1968.