STEINGARTNER, W.; NOVITZKÁ, V. Categorical model of structural operational semantics for imperative language. Journal of Information and Organizational Sciences, [S. l.], v. 40, n. 2, 2016. DOI: 10.31341/jios.40.2.3. Disponível em: //jios.foi.hr/index.php/jios/article/view/1012. Acesso em: 16 jul. 2024.