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