Steingartner W, Novitzká V, Bačíková M, Korečko Štefan. New Approach to Categorical Semantics for Procedural Languages. Comput. Inform. [Internet]. 2018 Feb. 9 [cited 2024 Nov. 7];36(6):1385-414. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/2017_6_1385