Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and Verication Distributed Programs Using Transactional Memory. JMMCS 2014, 81 (2), 38-45.