Steingartner, W.; Novitzká, V. Categorical Model of Structural Operational Semantics for Imperative Language. J. inf. organ. sci. (Online) 2016, 40.