Key technologies of metro construction in hard rock stratum - Liu, Quanwei (World Scientific Publishing Co., Pte., Ltd., 2021)