Cristopher Moore Recursion Theory on the Reals and Continuous-Time Computation. 23-44 1996 162 Theor. Comput. Sci. 1 db/journals/tcs/tcs162.html#Moore96 http://dx.doi.org/10.1016/0304-3975(95)00248-0