Bektemessov, A.T., Burlibaev, A.Z. і Iliyaletdinov, F.A. 2018. Распределенные алгоритмы и их верификация с помощью Byzantine model checker. Қазұу Хабаршысы. Математика, механика, информатика сериясы. 92, 4 (Лип 2018), 70–79.