Formalization Method of the First Level Variables in the Audit Systems IT. ММС 2019, No. 4, 79–86. https://doi.org/10.34121/1028-9763-2019-4-79–86.