Bundesberggesetz: Vom 13. August 1980 unter Berücksichtigung des Änderungsgesetzes vom 12. Februar 1990 und der vorhergegangenen Gesetzesänderungen sowie die das Bergrecht betreffenden Bestimmungen des Einigungsvertrages vom 31. August 1990. Ergänzungsband zum Kommentar