%0 Journal Article %A I. S. Anureev %T Operational semantics of annotated Reflex programs %J Modelirovanie i analiz informacionnyh sistem %D 2019 %P 475-487 %V 26 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/MAIS_2019_26_4_a1/ %G ru %F MAIS_2019_26_4_a1