Goubault-Larrecq, Jean. “$\Pi^0_2$ Subsets of Domain-Complete Spaces and Countably Correlated Spaces”. Topology Proceedings, vol. 58, Mar. 2020, pp. 13-22, https://www.topologyproceedings.org/index.php/tp/article/view/24.