Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы - Глибовец, Н.Н.; Гломозда, Д.К. (Кибернетика и системный анализ, 2008)