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