Computability - Klaus Weihrauch (Springer-Verlag)