Juris Hartmanis Theodore P. Baker On Simple Gödel Numberings and Translations. 1-11 1975 4 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp4.html#HartmanisB75