2018. Распределенные алгоритмы и их верификация с помощью Byzantine model checker. Вестник КазНУ. Серия математика, механика, информатика. 92, 4 (июл. 2018), 70–79.