Nachman LJ. Hyperspaces of Proximity Spaces. Math. Scand. 1968;23:201-213. doi:10.7146/math.scand.a-10912