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