Raamatud, mis on sarnased «Статическое обнаружение гонок в коде, содержащем ветвления и циклы», Н. В. Заборовский