«Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and verication distributed programs using transactional memory». Вестник КазНУ. Серия математика, механика, информатика 81, no. 2 (март 28, 2014): 38–45. просмотрено август 24, 2026. https://bm.kaznu.kz/index.php/kaznu/article/view/54.