Rock dust. Rockdust used in bituminous coal mines in 1941 (with summary data covering 1930-41); [by L. E. Geyer].