Нескородева, Т. В. «МЕТОДИКА ФОРМАЛИЗАЦИИ ЗАДАЧ СИСТЕМЫ АУДИТА ПЕРВОГО УРОВНЯ». Технічні науки та технології, вип. 2(16), Листопад 2019, с. 086-94, https://tst.stu.cn.ua/article/view/182210.