Alan Turing, Turing Machines and Stronger. INF. 37(1). Accessed November 16, 2025. https://puffbird.ijs.si/index.php/informatica/article/view/427