Computable analysis - Weihrauch, Klaus (2000)