Computable analysis: An introduction - Weihrauch, K (Springer, 2000)