Computation with access to the reals, but using only classical machines
2005 ◽
pp. 97-107