Title: Pocket manual of mining
First published: 1897