Steingartner, W.; Novitzká, V.; Bačíková, M.; Korečko, Štefan. New Approach to Categorical Semantics for Procedural Languages. Comput. Inform. 2018, 36, 1385-1414.