Computability, enumerability, unsolvability : directions in recursion theory - Cooper, S. Barry; Slaman, T. A.; Wainer, Stanley S. (London Mathematical Society lecture note series, 1996)