A knowledge-based system for auditor's reports