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