Steingartner, W. (2018) “New Approach to Categorical Semantics for Procedural Languages”, COMPUTING AND INFORMATICS, 36(6), pp. 1385–1414. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/2017_6_1385 (Accessed: 16 April 2024).