“Formalization Method of the First Level Variables in the Audit Systems IT”. 2019. Mathematical Machines and Systems, no. 4 (December): 79–86. https://doi.org/10.34121/1028-9763-2019-4-79–86.