Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм. CS&CS E-journal 2017, вип. 4, 26-34.