Title: Rock engineering
First published: 1971