І. МАЙКІВ, О. ОСОЛІНСЬКИЙ, П. БИКОВИЙ, and В. ФЕДОРОВИЧ, “ЗАСТОСУВАННЯ КОНЦЕПЦІЇ ОБ’ЄКТНО-ОРІЄНТОВАНОГО ПРОГРАМУВАННЯ, ДЛЯ ВЕРИФІКАЦІЇ HDL-ПРОЕКТІВ ЦИФРОВИХ СИСТЕМ”, Herald of Khmelnytskyi National University. Technical sciences, vol. 359, no. 6.1, pp. 201–209, Dec. 2025, doi: 10.31891/.