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