Steingartner, W., and E. Gajdoš. “The Visualization of a Graph Semantics of Imperative Languages”. Polytechnica, vol. 5, no. 2, Dec. 2021, pp. 7-14, doi:10.36978/cte.5.2.1.