Корчагин А.С. Автоматизация проектирования и верификации межмодульных интерфейсов информационных систем на основе операторного моделирования : автореф. дис. .. канд. техн. наук: 05.13.12 / А. С. Корчагин, 2009. - 18 с. - Текст : непосредственный.