An introduction to mining seismology - Gibowicz, Slawomir Jerzy (International geophysics series ;, 1994)