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