Michael Machtey Karl Winklmann Paul Young Simple Gödel Numberings, Isomorphisms, and Programming Properties. 39-60 1978 7 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp7.html#MachteyWY78