Обработка символьной информации. (Вычислительный центр АН СССР, 1978)