Computability - Weihrauch, Klaus (Springer, 1987)