Mattson, Don A. “Maximal $p$-Systems and Realcompleteness”. Mathematica Scandinavica, vol. 35, June 1974, pp. 215-22, https://doi.org/10.7146/math.scand.a-11548.