W. Steingartner, V. Novitzka, and W. Schreiner, “Coalgebraic Operational Semantics for an Imperative Language”, Comput. Inform., vol. 38, no. 5, pp. 1181–1209, Feb. 2020.