Tvorba a analýza programov pre Turingov stroj - Benc, Jozef (STU v Bratislave FEI, 2022)