Quarzit, Feuerstein, Hornstein, Jaspis, Ocker - mineralische Rohstoffe der Steinzeit - Weisgerber, Gerd 1938-2010 (Alter Bergbau in Deutschland., 1993)