An examination of audit procedures, control evaluation and control verification in a computerized environment.