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