Steingartner, W., Novitzka, V., & Schreiner, W. (2020). Coalgebraic Operational Semantics for an Imperative Language. Computing and Informatics, 38(5), 1181–1209. https://doi.org/10.31577/cai_2019_5_1181