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