Автоматизированное проектирование и исполнение эффективных программ для численных алгоритмов - Aleeva, V.N. (2023)