Tvorba a analýza programov pre Turingov stroj - Budinský, Imrich (STU v Bratislave FEI, 2021)