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