Rock Mechanics for Mining and Civil Engineering heftetEngelsk, 2023