Miners' Pocket-book: A Reference Book for Engineers and Others Engaged in ..