Розглядається редукційне конструювання програм обчислення членів рекурентних послідовностей. Отримані програми коректні. Коретність програм є безпосереднім наслідком їх конструювання.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
