Title: The drilling of rock
First published: 1950