7[3]Lenore Blum,Felipe Cucker,Michael Schub,et al.Complexity and Real Computation[M].New York:Springer,1998.
8[4]Ning Zhong.Recursively enumerable subsets of in two computing models:Blum-Shub-Smale machine and Turing machine[J].Theoretical Computer Science,1998,197:79-94.