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