Recursion Theory ; Its Generalisations and Applications - Drake F.R. (New York Cambridge University Press, 1979)