Steingartner, W. and Novitzká, V. 2016. Categorical model of structural operational semantics for imperative language. Journal of Information and Organizational Sciences. 40, 2 (Dec. 2016). DOI:https://doi.org/10.31341/jios.40.2.3.