J. Rudy, “Dynamic Turing Machine: model and properties for runtime code changes”, csci, vol. 17, no. 2, p. 187, Jul. 2016, doi: 10.7494/csci.2016.17.2.187.