Бектемесов, А. Т., Д. Ж. Ахмед-Заки, and Н. Т. Данаев. 2014. “ Simulation and Verication Distributed Programs Using Transactional Memory”. Journal of Mathematics, Mechanics and Computer Science 81 (2):38-45. https://bm.kaznu.kz/index.php/kaznu/article/view/54.