Steingartner W, Novitzká V. Categorical model of structural operational semantics for imperative language. J. inf. organ. sci. (Online) [Internet]. 2016 Dec. 9 [cited 2024 Dec. 22];40(2). Available from: //jios.foi.hr/index.php/jios/article/view/1012