Stone dusting or rock dusting to prevent coal-dust explosions, as practiced in Great Britain and France. (U.S. GPO,, 1924)