煤矿安全技术丛书矿井水灾防治技术作者： 余德绵，陆春元编著 出版时间：1987年版 ...