Quarry blasting. Seismic effects of quarry blasting [with bibliography]; by J. R. Thoenen and S. L. Windes.