2019. Formalization method of the first level variables in the audit systems IT. Mathematical Machines and Systems. 4 (Dec. 2019), 79–86. DOI:https://doi.org/10.34121/1028-9763-2019-4-79–86.