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