V. Puidenko і V. Kharchenko, Автоматні моделі та синтез засобів контролю апаратної реалізації алгоритмів заміщення кеш-пам’яті, Системи управління, навігації та зв’язку. Збірник наукових праць, т. 4, вип. 62, с. 34-39, Лис 2020.