1. Tolstoluzka O., Tolstoluzkiy D., Moroz O. Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм // Комп’ютерні науки та кібербезпека. 2017. № 4. C. 26-34.