Gajser, David. “Verifying Time Complexity of Turing Machines”. Informatica, vol. 40, no. 3, Nov. 2016, https://puffbird.ijs.si/index.php/informatica/article/view/1407.