Труды ордена Ленина математического института имени В.А.Стеклова Автоматическое программирование, численные методы и функциональный анализ (Наука, 1968)