Procurement Contract Auditing: From Documentation to Implementation