«Распределенные алгоритмы и их верификация с помощью Byzantine model checker», JMMCS, т. 92, вып. 4, сс. 70–79, июл. 2018, просмотрено: 14 июль 2026 г. [онлайн]. доступно на: https://bm.kaznu.kz/index.php/kaznu/article/view/455