Заборовский, Н. В.     Расчетный подход к статическому анализу программного кода на предмет наличия состояний гонки [Текст] / Н.В. Заборовский, А.Г. Тормасов // Программная инженерия : Теоретический и прикладной научно-технический журнал. — М. : "Новые технологии", 2011. — №7. — с.15-20.