D. A. Mattson, “Dense $p$-Subspaces of Proximity Spaces”., Math. Scand., vol. 27, pp. 223–226, Jun. 1970, doi: 10.7146/math.scand.a-11000.