М. С. Ушакова, А. И. Легалов, “Инструментальная поддержка формальной верификации программ, написанных на языке функционально-потокового параллельного программирования”, Вестн. ЮУрГУ. Сер. Выч. матем. информ., 4:2 (2015), 58–70
И. С. Ануреев, “На пути к технологии разработки операционной семантики компьютерных языков: унифицированный формат помеченных систем переходов”, Тр. СПИИРАН, 25 (2013), 255–276
И. С. Ануреев, С. Н. Баранов, Д. М. Белоглазов, Е. В. Бодин, П. Д. Дробинцев, А. В. Колчин, В. П. Котляров, А. А. Летичевский, А. А. Летичевский, В. А. Непомнящий, И. В. Никифоров, С. В. Потиенко, Л. В. Прийма, Б. В. Тютин, “Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений”, Тр. СПИИРАН, 26 (2013), 349–383
И. С. Ануреев, “Дедуктивная верификация телекоммуникационных систем, представленных на языке Си”, Модел. и анализ информ. систем, 19:6 (2012), 34–44
М. М. Атучин, И. С. Ануреев, “Атрибутные аннотации и их применение в дедуктивной верификации C-программ”, Модел. и анализ информ. систем, 18:4 (2011), 21–33
И. С. Ануреев, “Типовые примеры использования языка Atoment”, Модел. и анализ информ. систем, 18:4 (2011), 7–20