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. http://147.213.75.17/ojs/index.php/cai/article/view/2017_6_1385.