Recursion theory Its generalisations and applications. - Drake F R Ed.; Wainer S S Ed. (Cambridge Cambridge University Press, 1980)