Computability - Weihrauch, Klaus (Springer-Verlag, 1987)