“Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and Verication Distributed Programs Using Transactional Memory”. ҚазҰУ Хабаршысы. Математика, механика, информатика сериясы 81, no. 2 (March 28, 2014): 38–45. Accessed July 14, 2026. https://bm.kaznu.kz/index.php/kaznu/article/view/54.