Recursive introduction to the theory of computation - Smith C H (N Y Springer Verlag, 1994)
Keywords: Computer science; Recursion theory