«Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and Verication Distributed Programs Using Transactional Memory». 2014. Вестник КазНУ. Серия математика, механика, информатика 81 (2): 38-45. https://bm.kaznu.kz/index.php/kaznu/article/view/54.