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