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