Introduction to rock mechanics. - Goodman, Richard E.