Categorical Model of Structural Operational Semantics for Imperative Language. - Steingartner, William; Novitzká, Valerie (Journal of Information & Organizational Sciences, 2016)