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