Computable analysis an introduction - Weihrauch, Klaus (Texts in theoretical computer science, 2000)