Керницький, О. Б.; Опотяк, Ю. В.; Теслюк, В. М. Інформаційна технологія синтезу та валідації специфікацій ІТ-проєктів у задачах реінжинірингу Legacy-систем. SBUNFU 2026, 36, 168–180.