БЕКТЕМЕСОВ, А. Т.; АХМЕД-ЗАКИ, Д. Ж.; ДАНАЕВ, Н. Т. Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and verication distributed programs using transactional memory. Journal of Mathematics, Mechanics and Computer Science, [S. l.], v. 81, n. 2, p. 38–45, 2014. Disponível em: https://bm.kaznu.kz/index.php/kaznu/article/view/54. Acesso em: 5 jan. 2025.