Computation with Access to the Reals, but Using only Classical Machines.

N. P. Bamber Computation with Access to the Reals, but Using only Classical Machines. 97-107 1993 conf/kgc/1993 Kurt Gödel Colloquium db/conf/kgc/kgc93.html#Bamber93