Rock Mechanics Theory And Applications With Case Histories