"Исследования в области теоретического и системного программирования и их применение в автоматизации программирования и разработке математического обеспечения". /Текст машинописный./