Recursion theory on the reals and continuous time computation. Theoretical Computer Science 162 (1996)

by C Moore