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