Нестерук, Ф. Г.     Применение формальной модели для описания процессов адаптивной защиты информации в автоматизированных системах [Текст] / Санкт-Петербургский государственный университет экономики и финансов, г.Санкт-Петербург, Россия // Автоматика и телемеханика  : науково-технічний журнал / Рос. акад. наук. — С. 160-171.