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