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