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