Bányászat - Tarján, Gusztáv (Műszaki értelmező szótár, 1964)