Rozwój polskiej terminologii górniczej - Gajda, Stanisław