“Үлестiрiлген алгоритмдер және оларды Byzantine моделдi тексерiс арқылы верификациялау”. 2018. ҚазҰУ Хабаршысы. Математика, механика, информатика сериясы 92 (4): 70-79. https://bm.kaznu.kz/index.php/kaznu/article/view/455.