Simple Gödel numberings (1978)

by M Machtey, K Winklmann, P Young
Venue:SIAM Journal of Computing