煤矿排水程序应包括以下几个方面：
总则
制定规程的目的和适用范围。
排水工作的目标，即防止积水、确保矿井安全。
管理机构与方案
煤矿管理部门应组织相关人员制定排水方案，并评估和监测排水效果。
排水设备要求
水泵：必需有工作、备用和检修的水泵。工作水泵的能力应能在20小时内排出矿井24小时的正常涌水量（包括充填水及其他用水）。备用水泵的能力应不小于工作水泵力量的70%，工作和备用水泵的总能力应能在20小时内排出矿井24小时的最大涌水量。检修水泵的能力应不小于工作水泵力量的25%。
水管：必须有工作和备用的水管。工作水管的能力应能配合工作水泵在20小时内排出矿井24小时的正常涌水量。工作和备用水管的总能力应能配合工作和备用水泵在20小时内排出矿井24小时的最大涌水量。
排水工艺
在主泵房内预留安装一定数量水泵的位置。
安全监督
煤矿井下排水应以防止积水、确保矿井安全为目标，相关管理部门应定期检查排水系统的运行情况，确保设备处于良好状态，及时发现并处理潜在的安全隐患。
应急预案
制定应对突发排水故障的应急预案，包括设备故障、涌水量突然增加等情况的处理措施，确保在紧急情况下能够迅速有效地进行排水作业。
通过以上程序，可以有效保障煤矿井下的排水工作安全、高效进行，防止因积水导致的安全事故。