Shaft-sinking practices and costs; by E. D. Gardner and J. Fred Johnson.