2018. Үлестiрiлген алгоритмдер және оларды Byzantine моделдi тексерiс арқылы верификациялау. ҚазҰУ Хабаршысы. Математика, механика, информатика сериясы. 92, 4 (Jul. 2018), 70–79.