Антонов, А., Воеводин, В., Жуматий, С., Никитенко, Д., Стефанов, К. и Швец, П. 2013. Автоматизация поиска ошибок и неэффективностей в параллельных программах. Вычислительные методы и программирование. 14, 36 (ноя. 2013), 11–17.