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