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