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