Steingartner, W.; Novitzka, V.; Schreiner, W. Coalgebraic Operational Semantics for an Imperative Language. Comput. Inform. 2020, 38, 1181–1209.