Нескородева, Т. В. МЕТОДИКА ФОРМАЛИЗАЦИИ ЗАДАЧ СИСТЕМЫ АУДИТА ПЕРВОГО УРОВНЯ. ТНТ 2019, 086-094.