Steingartner, W., Novitzká, V., Bačíková, M., & Korečko, Š. (2017). New Approach to Categorical Semantics for Procedural Languages. Computing and Informatics, 36(6), 1385–1414. https://doi.org/10.4149/cai_2017_6_1385