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