Technológia hlbinného dobývania rudných a nerudných ložísk : návody na cvičenia - Bauer, Viliam (Vysoká škola technická, 1986)