Mine safety devices developed by Bureau of Mines; by Van. H. Manning.