A Categorical Model of State Transformations in Programming Languages. - Kohútová, M.; Steingartner, W.; Novotný, S. (Journal of Applied Mathematics, Statistics & Informatics, 2026)