Trhací práce a ražení důlních děl - Exner, Karel; Horký, Jiří (Vysoká škola báňská, 1985)