A recursive function defined on a compact interval and having a continuous derivative that is not recursive (1971)

by John Myhill
Venue:Michigan Math. J