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