Computability - Weihrauch, Klaus (EATCS monographs on theoretical computer science ;, 1987)