Dow, Alan, et al. “Some Realcompact Spaces”. Topology Proceedings, vol. 62, Aug. 2023, pp. 205-16, https://www.topologyproceedings.org/index.php/tp/article/view/119.