Diesel equipment in under ground mining [with bibliography]; by D. Harrington and J. H. East, jr.