Formalization method of the first level variables in the audit systems IT. Mathematical Machines and Systems, [S. l.], n. 4, p. 79–86, 2019. DOI: 10.34121/1028-9763-2019-4-79–86. Disponível em: https://www.j-mms.de/index.php/mms/article/view/2019-4-a7. Acesso em: 11 aug. 2026.