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