Формализация регулятивных текстов - Пименов, Виктор Игоревич; Воронов, Михаил Владимирович (Информатика и автоматизация, 2021)