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