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