Шкіль, О., Мірошник, М., Рахліс, Д. і Тріфанов, О. 2023. Структури даних для дедуктивного моделювання умовних операторів HDL. СУЧАСНИЙ СТАН НАУКОВИХ ДОСЛІДЖЕНЬ ТА ТЕХНОЛОГІЙ В ПРОМИСЛОВОСТІ. 3(25) (Вер 2023), 98–113. DOI:https://doi.org/10.30837/ITSSI.2023.25.098.