Т. В. Нескородева, «МЕТОДИКА ФОРМАЛИЗАЦИИ ЗАДАЧ СИСТЕМЫ АУДИТА ПЕРВОГО УРОВНЯ», ТНТ , вип. 2(16), с. 086–094, Лис 2019.