МАЙКІВ, ІГОР, ОЛЕКСАНДР ОСОЛІНСЬКИЙ, ПАВЛО БИКОВИЙ, і ВІКТОР ФЕДОРОВИЧ. «ЗАСТОСУВАННЯ КОНЦЕПЦІЇ ОБ’ЄКТНО-ОРІЄНТОВАНОГО ПРОГРАМУВАННЯ, ДЛЯ ВЕРИФІКАЦІЇ HDL-ПРОЕКТІВ ЦИФРОВИХ СИСТЕМ». Herald of Khmelnytskyi National University. Technical sciences 359, no. 6.1 (Грудень 11, 2025): 201–209. дата звернення Січень 26, 2026. https://heraldts.khmnu.edu.ua/index.php/heraldts/article/view/2287.