"Unlimited Register Machines, Gödelization and Universality" by Tom Hall