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