Некоторые вопросы разработки фактографических систем, ориентированных на работу с математическими текстами А.И. Еникеев; М.Е. Альфес — 1979 Verojatnostnye metody i kibernetika