Computability - Weihrauch, Klaus (European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science, 1987)