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