Computability theory : an introduction - Jones N D (London Academic Press, 1973)
Keywords: Computability; Computer programming