W. Steingartner and E. Gajdoš, “The visualization of a graph semantics of imperative languages”, Journal of Technology Education, vol. 5, no. 2, pp. 7-14, Dec. 2021.