Бектемесов, А.Т., Ахмед-Заки, Д.Ж. and Данаев, Н.Т. 2014. Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and verication distributed programs using transactional memory. Journal of Mathematics, Mechanics and Computer Science. 81, 2 (Mar. 2014), 38–45.