Операционная семантика аннотированных Reflex программ
И. С. Ануреев

Эта публикация цитируется в следующих статьяx:

1. N. O. Garanina, I. S. Anureev, V. E. Zyubin, S. M. Staroletov, T. V. Liakh, A. S. Rozov, S. P. Gorlatch, “A temporal logic for programmable logic controllers”, Autom. Control Comp. Sci., 55:7 (2021), 763–775