Tupailo, Sergei (2001). Realization of analysis into Explicit Mathematics. The journal of symbolic logic, 66(4), pp. 1848-1864. Cambridge University Press 10.2307/2694980
