Rock Blasting: Enriched edition. A Practical Treatise on the Means Employed in Blasting Rocks for Industrial PurposesGeorge G. André