税务检查的程序主要包括以下四个步骤：
选案
确定待查对象：通过人工选案、计算机选案、举报或其他方式确定待查对象，并经稽查局局长批准立案检查。
案件来源：包括上级税务机关交办、随机抽查、检举线索等。
检查
通知与资料提供：稽查局需提前告知被查企业检查时间和所需资料，但在某些情况下可以不提前通知。
检查实施：由两名以上执法人员共同实施，包括调取账簿、凭证和其他资料，询问相关人员，查询存款账户，实地检查和异地检查等。
证据收集：收集证人证言、书面证据，并整理制作《税务稽查报告》。
审理
审核内容：重点审核执法主体、被查对象、税收违法事实、证据、适用法律法规和法定程序等。
形成结论：审理部门对案件进行审查，确认事实清楚、证据确凿、定性准确，并形成结论性文书。
执行
处理决定：根据稽查结果，对纳税人的违法行为进行处理决定，包括警告、罚款、没收违法所得、行政拘留等。
执行措施：采取金融机构扣缴、查封、扣押、拍卖等强制执行措施，确保税收违法行为的当事人依法履行其应尽的义务。
总结：
税务检查的程序依次为选案、检查、审理和执行，确保税务稽查工作依法、公正、有效地进行，维护税收秩序和国家利益。