Steingartner, William, Valerie Novitzka, and Wolfgang Schreiner. 2020. “Coalgebraic Operational Semantics for an Imperative Language”. Computing and Informatics 38 (5):1181–1209. https://doi.org/10.31577/cai_2019_5_1181.