W. Steingartner, V. Novitzká, M. Bačíková, and Štefan Korečko, “New Approach to Categorical Semantics for Procedural Languages”, Comput. Inform., vol. 36, no. 6, pp. 1385–1414, Feb. 2018.