Steingartner, William, and Valerie Novitzká. 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.