Оптимизация и трансформация функционально-потоковых параллельных программ
кандидатская диссертация / автореферат