Complexity and real computation (New York : Springer, 1998)