Нескородева, Т. В. “Методика множественно-формального представления предметной области аудита”. Bulletin of National Technical University "KhPI". Series: System Analysis, Control and Information Technologies, no. 61(1103), Dec. 2014, pp. 66-74, doi:10.20998/%x.