Studie z dějin hornictví = Studies in the history of mining (Rozpravy Národního technického muzea v Praze, 1971)