EDP Auditing ; a functional approach