Formalization method of the first level variables in the audit systems IT. ММС. 2019;(4):79–86. doi:10.34121/1028-9763-2019-4-79–86