Мороз, Ольга, і Олена Толстолузька. «Використання методів формального синтезу та веріфікації паралельних часопараметризованих моделей для рішення системи лінійних рівнянь методом Гауса». Вісник Харківського національного університету імені В.Н. Каразіна, серія «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління» 52 (Листопад 29, 2021): 52-70. дата звернення Грудень 23, 2025. https://periodicals.karazin.ua/mia/article/view/21417.