«Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм» (2017) Комп’ютерні науки та кібербезпека, (4), с. 26–34. доступний у: https://periodicals.karazin.ua/cscs/article/view/8264 (дата звернення: 24 Жовтень 2026).