Керницький, О. Б., Ю. В. Опотяк, і В. М. Теслюк. «Інформаційна технологія синтезу та валідації специфікацій ІТ-проєктів у задачах реінжинірингу Legacy-систем». Scientific Bulletin of UNFU 36, no. 2 (Квітень 30, 2026): 168–180. дата звернення Вересень 4, 2026. https://nv.nltu.edu.ua/index.php/journal/article/view/2873.