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