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