Битнер В.А. Исследование и реализация модели статического анализа нахождения состояния гонки в многопоточных алгоритмах с использованием линеаризованного графа потока управления : автореф. дис. .. канд. техн. наук: 05.13.11 / В. А. Битнер, 2014. - 22 с. - Текст : непосредственный.