For citations:

Anureev I.S., Garanina N.O., Kondratyev D.A., Gorlatch S.P. Building operational semantics of programming languages as executable ontological models of programs. Modeling and Analysis of Information Systems. 2026;33(2):122-149. (In Russ.) https://doi.org/10.18255/1818-1015-2026-2-122-149