An Explicit Solution to Post’s Problem over the Reals
K. Meer, M. Ziegler, in: Fundamentals of Computation Theory, Berlin, Heidelberg, 2005.