Nachman, L. J. Hyperspaces of Proximity Spaces. Math. Scand. 1968, 23, 201-213.