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