Ning Zhong Recursively Enumerable Subsets of R<sup>q</sup> in Two Computing Models: Blum-Shub-Smale Machine and Turing Machine. 79-94 1998 197 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs197.html#Zhong98 http://dx.doi.org/10.1016/S0304-3975(97)00008-X