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