Pimenov, V. and Voronov, M. 2021. Formalization of Regulatory Texts. Informatics and Automation. 20, 3 (Jun. 2021), 562-590. DOI:https://doi.org/10.15622/ia.2021.3.3.