Decidable Pairing Functions. - Richard Tenney (1972)