J. Rudy, “Turing machine approach to runtime software adaptation”, csci, vol. 15, no. 3, p. 293, Jul. 2014.