Мороз, Ольга. «Технологія семантико-числової верифікації часопараметризованих паралельних програм для інформаційних і управляючих систем». Вісник Харківського національного університету імені В.Н. Каразіна, серія «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління» 55 (Жовтень 31, 2022): 32-37. дата звернення Липень 18, 2024. https://periodicals.karazin.ua/mia/article/view/22592.