In this field he has published about thirty articles, and the two-volume book Classical Recursion Theory (North Holland Elsevier, 1989 and 1999), which has become a seminal text on the subject.
Opublikował na ten temat kilkadziesiąt artykułów oraz dwutomową książkę Classical Recursion Theory (North Holland Elsevier, 1989 i 1999), jaka stała się punktem odniesienia w tej problematyce.