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