Steingartner, W. and Gajdoš, E. (2021) “The visualization of a graph semantics of imperative languages”, Polytechnica, 5(2), pp. 7-14. doi: 10.36978/cte.5.2.1.