评价专家工作是否足以实现审计目的所实施的审计程序时，可以实施用于证实的程序，其包括()。