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