For citations:

Anureev I.S. Operational Semantics of Annotated Reflex Programs. Modeling and Analysis of Information Systems. 2019;26(4):475-487. (In Russ.) https://doi.org/10.18255/1818-1015-2019-4-475-487