• Синтез монотонных детекторов для подмножества равновесных кодов / С. А. Останин, А. Ю. Матросова, Н. Б. Буторина, А. О. Гребнев // Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 58-59. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000621229