Pimenov, Victor, and Mihail Voronov. 2021. “Formalization of Regulatory Texts”. Informatics and Automation 20 (3), 562-90. https://doi.org/10.15622/ia.2021.3.3.