J. C. E. Dekker Erik Ellentuck Myhill's Work in Recursion Theory. 43-71 1992 56 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal56.html#DekkerE92