Steingartner, W. et al. 2018. New Approach to Categorical Semantics for Procedural Languages. Computing and Informatics. 36, 6 (Feb. 2018), 1385–1414.