J. Goubault-Larrecq, “$\Pi^0_2$ Subsets of Domain-Complete Spaces and Countably Correlated Spaces”, Top Proc, vol. 58, pp. 13–22, Mar. 2020.