Нескородева, Т. В. Методика множественно-формального представления предметной области аудита. SACIT 2014, 66-74.