Steingartner, William, Valerie Novitzká, Michaela Bačíková, and Štefan Korečko. 2018. “New Approach to Categorical Semantics for Procedural Languages”. COMPUTING AND INFORMATICS 36 (6):1385-1414. https://www.cai.sk/ojs/index.php/cai/article/view/2017_6_1385.