Financial Audit Systems Modeling- A Formal Specifications Approach door Dean Jin & J.A. Akinyemi