Реализация эффективного алгоритма синтеза линейных функциональных программ - Новосельцев В. Б. Виталий Борисович (Управление, вычислительная техника и информатика, 2008)
Заглавие с титульного листа