Rudné bohatstvo Slovenska : Z dejín výskumu minerálov na Slovensku - Hlavienka, Ján