W. Steingartner and V. Novitzká, “Categorical model of structural operational semantics for imperative language”, J. inf. organ. sci. (Online), vol. 40, no. 2, Dec. 2016.