B. A. Kushner, “Extensions of Markov’s Constructive Continuum and Uniform Continuity of Constructive Functions”, MPCS, vol. 38, pp. 72–72, Dec. 2021.