D. A. Mattson, “Maximal $p$-Systems and Realcompleteness”., Math. Scand., vol. 35, pp. 215–222, Jun. 1974.