Diamond drilling, with special reference to oil-field prospecting and development; by Frank A. Edson.