Steingartner, W. et al. 2020. Coalgebraic Operational Semantics for an Imperative Language. Computing and Informatics. 38, 5 (Feb. 2020), 1181–1209. DOI:https://doi.org/10.31577/cai_2019_5_1181.