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