Трифанов, В.Ю. и Цителов, Д.И. 2014. Статические и post-mortem методы обнаружения гонок в параллельных программах. Компьютерные инструменты в образовании. 5 (янв. 2014).