Mattson DA. Dense $p$-Subspaces of Proximity Spaces. Math. Scand. 1970;27:223-226. doi:10.7146/math.scand.a-11000