[1]
Steingartner, W. et al. 2018. New Approach to Categorical Semantics for Procedural Languages. COMPUTING AND INFORMATICS. 36, 6 (Feb. 2018), 1385–1414.