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