Gajser, D. 2016. Verifying Time Complexity of Turing Machines. Informatica. 40, 3 (Nov. 2016).