Steingartner, William, and Valerie Novitzká. “Categorical Model of Structural Operational Semantics for Imperative Language”. Journal of Information and Organizational Sciences 40, no. 2 (December 9, 2016). Accessed April 20, 2024. //jios.foi.hr/index.php/jios/article/view/1012.