В. И. Пименов и М. В. Воронов, Формализация регулятивных текстов, ИА, т. 20, вып. 3, сс. 562-590, июн. 2021.