Computability - Weihrauch, K. 1943- (Springer-Verlag, 1987)