Kushner, B. A. “Extensions of Markov’s Constructive Continuum and Uniform Continuity of Constructive Functions”. Mathematical Problems of Computer Science, vol. 38, Dec. 2021, pp. 72-72, http://mpcs.sci.am/index.php/mpcs/article/view/545.