основных результатов по лаборатории теоретического программирования, полученных в течение 1963-1973 гг. /Рукописный и машинописный варианты./