Title: Dictionary of mining
First published: 1964