2014. Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and verication distributed programs using transactional memory. ҚазҰУ Хабаршысы. Математика, механика, информатика сериясы. 81, 2 (Mar. 2014), 38–45.