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