Шкіль, Олександр, Марина Мірошник, Дарія Рахліс, і Олег Тріфанов. «Структури даних для дедуктивного моделювання умовних операторів HDL». СУЧАСНИЙ СТАН НАУКОВИХ ДОСЛІДЖЕНЬ ТА ТЕХНОЛОГІЙ В ПРОМИСЛОВОСТІ, no. 3(25) (Вересень 30, 2023): 98–113. дата звернення Липень 17, 2024. https://journals.uran.ua/itssi/article/view/290905.