А. Т. Бектемесов, Д. Ж. Ахмед-Заки, and Н. Т. Данаев, “ Simulation and verication distributed programs using transactional memory”., JMMCS, vol. 81, no. 2, pp. 38–45, Mar. 2014.