Mattson, D. A. (1974) “Maximal $p$-Systems and Realcompleteness”., MATHEMATICA SCANDINAVICA, 35, pp. 215–222. doi: 10.7146/math.scand.a-11548.