@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 }