GAJSER, David. Verifying Time Complexity of Turing Machines. Informatica, [S. l.], v. 40, n. 3, 2016. Disponível em: https://puffbird.ijs.si/index.php/informatica/article/view/1407. Acesso em: 23 jun. 2025.