Mines and mining. Measurement of pressures on rock pillars in underground mines [with bibliography]; by Leonard Obert.