«Компіляційно-семантична верифікація часопараметризованих мультипаралельних програм для інформаційних управляючих систем». Вісник Харківського національного університету імені В.Н. Каразіна, серія «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління» 56 (Грудень 26, 2022): 43–50. дата звернення Жовтень 25, 2026. https://periodicals.karazin.ua/mia/article/view/27690.