Шкіль, Олександр, Марина Мірошник, Дарія Рахліс, і Олег Тріфанов. «Структури даних для дедуктивного моделювання умовних операторів HDL». СУЧАСНИЙ СТАН НАУКОВИХ ДОСЛІДЖЕНЬ ТА ТЕХНОЛОГІЙ В ПРОМИСЛОВОСТІ, no. 3 (25) (Листопад 19, 2023): 98–113. дата звернення Липень 16, 2026. https://itssi-journal.com/index.php/ittsi/article/view/425.