І. МАЙКІВ, О. ОСОЛІНСЬКИЙ, П. БИКОВИЙ, і В. ФЕДОРОВИЧ, «ЗАСТОСУВАННЯ КОНЦЕПЦІЇ ОБ’ЄКТНО-ОРІЄНТОВАНОГО ПРОГРАМУВАННЯ, ДЛЯ ВЕРИФІКАЦІЇ HDL-ПРОЕКТІВ ЦИФРОВИХ СИСТЕМ», Herald of Khmelnytskyi National University. Technical sciences, вип. 359, вип. 6.1, с. 201–209, Груд 2025, doi: 10.31891/2307-5732-2025-359-28.