Rock fracture mechanics (Springer, 1983)