Materiály v baníctve - Otýs, Jan (Edícia baníckej, hutníckej a energetickej literatúry, 1984)