Studie z dějin hornictví - Petrik, Josef (Rozpravy Národního technického muzea v Praze)