“Formalization Method of the First Level Variables in the Audit Systems IT”. Mathematical Machines and Systems, no. 4 (December 1, 2019): 79–86. Accessed August 11, 2026. https://www.j-mms.de/index.php/mms/article/view/2019-4-a7.