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