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