“Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and Verication Distributed Programs Using Transactional Memory”. Journal of Mathematics Mechanics and Computer Science, vol. 81, no. 2, Mar. 2014, pp. 38-45, https://bm.kaznu.kz/index.php/kaznu/article/view/54.