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