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