Recursively enumerable sets and degrees. A study of computable functions and computably generated sets. - Springer Verlag, 1987. - ( Perspectives in mathematical logic ).