Шошмина И.В. Разработка формальных требований к поведению распределенных программных систем // № 8, 2016
