1.
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 Mar. 29];36(6):1385-414. Available from: https://www.cai.sk/ojs/index.php/cai/article/view/2017_6_1385