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