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