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