TOLSTOLUZKA, O.; TOLSTOLUZKIY, D.; MOROZ, O. Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм. Комп’ютерні науки та кібербезпека, n. 4, p. 26-34, 26 Бер 2017.