GRA 6219 Auditing, theory and methodology