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