Бектемесов, А. Т.; Ахмед-Заки, Д. Ж.; Данаев, Н. Т. Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and Verication Distributed Programs Using Transactional Memory. JMMCS 2014, 81, 38-45.