“Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and verication distributed programs using transactional memory”. (2014) ҚазҰУ Хабаршысы. Математика, механика, информатика сериясы, 81(2), pp. 38–45. Available at: https://bm.kaznu.kz/index.php/kaznu/article/view/54 (Accessed: 8 September 2026).