Bibliografie prací z dějin hornictví v publikacích NTM od roku 1987 do roku 2001 - Petrik, Josef