1. Pimenov V., Voronov M. Formalization of Regulatory Texts // Informatics and Automation. 2021. № 3 (20). C. 562-590.