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