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