Puidenko V. Автоматні моделі та синтез засобів контролю апаратної реалізації алгоритмів заміщення кеш-пам’яті / V. Puidenko, V. Kharchenko // Системи управління, навігації та зв’язку. Збірник наукових праць. – Полтава: ПНТУ, 2020. – Т. 4 (62). – С. 34-39. – doi:https://doi.org/10.26906/SUNZ.2020.4.034.