Бектемесов, А.Т., Ахмед-Заки, Д.Ж. і Данаев, Н.Т. 2014. Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and verication distributed programs using transactional memory. Қазұу Хабаршысы. Математика, механика, информатика сериясы. 81, 2 (Бер 2014), 38–45.