Шкіль, О.; Мірошник, М.; Рахліс, Д.; Тріфанов, О. Структури даних для дедуктивного моделювання умовних операторів HDL. ITSSI 2023, 98-113.