Анализ и оптимизация циклов с помощью производящих функций

Труды Института Системного Программирования РАН, 2004 г.