Пименов, В.И., Воронов, М.В.: Формализация регулятивных текстов. Информатика и автоматизация 20(3), 562-590 (2021). doi:10.15622/ia.2021.3.3