Cvičení z důlního měřictví. - Mučka, Aleš (Vysoká škola báňská, 1980)