Rock mechanics (Springer, 1982)