Mattson, D. A. (1970) “Dense $p$-Subspaces of Proximity Spaces”., MATHEMATICA SCANDINAVICA, 27, pp. 223–226. doi: 10.7146/math.scand.a-11000.