Introduction to tunnel construction - Chapman, David (CRC Press, 2018)