正确的审计程序包括以下几项：
检查：
审计人员对被审计单位内部或外部生成的记录和文件进行审查，或对资产进行实物审查。
观察：
审计人员查看相关人员正在从事的活动或实施的程序。
询问：
审计人员以书面或口头方式，向被审计单位内部或外部的知情人员获取财务信息和非财务信息，并对答复进行评价的过程。
函证：
审计人员直接从第三方获取书面答复以作为审计证据的过程，书面答复可以采用纸质、电子或其他介质等形式。
重新计算：
审计人员对记录或文件中的数据计算的准确性进行核对。
重新执行：
审计人员独立执行原本作为被审计单位内部控制组成部分的程序或控制。
分析程序：
审计人员通过分析不同财务数据之间以及财务数据与非财务数据之间的内在关系，对财务信息作出评价。
确定审计目标和范围：
明确审计的目标和范围，确定需要审计的财务报表项目或业务过程。
了解内部控制制度：
并予以描述、初步评价内部控制环境。
符合性测试：
测试被审计单位的活动是否符合规定。
实质性测试：
对财务报表的准确性和完整性进行详细测试。
撰写审计报告：
根据审计结果，编写审计报告，包括对财务报表的意见和建议。
审计计划：
制定审计计划，包括确定审计时间表、资源需求、人员分配等。
审计准备：
根据审计项目计划确定的审计事项组成审计组，并送达审计通知书。
审计实施：
执行审计程序，包括收集证据、进行分析和测试等。
审计终结：
提出审计组的审计报告，并征求被审计对象的意见。
审计跟踪：
跟踪审计报告的执行情况，确保建议得到落实。
这些程序共同构成了审计工作的完整流程，旨在确保审计质量，发现并纠正可能存在的错误或舞弊行为，从而维护财务报表的真实性和可靠性。