Klaus Weihrauch Computability on Computable Metric Spaces. 191-210 1993 113 Theor. Comput. Sci. 1 db/journals/tcs/tcs113.html#Weihrauch93