STEINGARTNER, W.; GAJDOŠ, E. The visualization of a graph semantics of imperative languages. Polytechnica, v. 5, n. 2, p. 7-14, 22 Dec. 2021.