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