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