Методы символьной мультиобработки: [монография] - Глушков В. М. Виктор Михайлович (Киев, Наукова думка, 1980)