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