"Diagonalization and the recursion theorem."

James C. Owings (1973)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics