Автоматизация обработки математических текстов [Сб. статей] АН УССР, Науч. совет по пробл. "Кибернетика", Ин-т кибернетики; [[Редкол.: Ю. В. Капитонова (отв. ред.) и др.]