Методика формалізації змінних першого рівня в ІТ системи аудиту. (2019). Математичні машини і системи, 4, 79–86. https://doi.org/10.34121/1028-9763-2019-4-79–86