Steingartner, W., and V. Novitzká. “Categorical Model of Structural Operational Semantics for Imperative Language”. Journal of Information and Organizational Sciences, vol. 40, no. 2, Dec. 2016, doi:10.31341/jios.40.2.3.