M.Braverman, S. Cook: Computing over the Reals: Foundations for Scientific Computing, Notices of the AMS No.3 (2006) p. 318-329