5Hachtel G, Somenzi F. Logic Synthesis and Verification Algorithms.Norwell, MA: Kluwer, 1996
6Drechsler R. Using Lower Bounds During Dynamic BDD Minimization. IEEE Trans. on CAD, 2001-01:51-57
7审计.周勤业等[M].上海:上海三联书店,1996.231.
8AICPA. 2002. Proposed Statement on Auditing Standards: Understanding the Entity and its Environment and Assessing the Risk of Material Misstatement, paragraph 36.
9APB. 2000. Developments in the Audit Methodologies of Large Accounting Firms. APB monographCOSO. 2003. Enterprise Risk Management Framework. Exposure Draft.
10Eilifsen, A. , Knechel, W. R. and Wallage, P. 2001. Application of the Business Risk Audit Model: A Field Study, Accounting Horizons, Sep., p193-207.
