Rock mechanics and rock engineering (Springer, 1969)