О. Шкіль, М. Мірошник, Д. Рахліс, і О. Тріфанов, «Структури даних для дедуктивного моделювання умовних операторів HDL», ITSSI, вип. 3(25), с. 98–113, Вер 2023.