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