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