@incollection{Phi92,
   author = {I.C.C. Phillips},
   title = {Recursion theory},
   booktitle = {Handbook of Logic in Computer Science},
   editor = {S. Abramsky and D.M. Gabbay and T.S.E. Maibaum},
   publisher = {Oxford University Press},
   volume = 1, 
   pages = {79-187},
   year = 1992
}
