FORMALIZATION OF REGULATORY TEXTS - Пименов, Виктор; Voronov, Mihail (Informatika i avtomatizaciâ (Online), 2021)