Methods and Techniques for Preventing and Mitigating Water Hazards in Mines - Shuning Dong, Wanfang Zhou, Qisheng Liu, Hao Wang, Yadong Ji (Springer, 2021)