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