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