Borehole instrumentation for emergency mine rescue operations / - King, Roger L. (Dept. of the Interior, Bureau of Mines,, 1976)