Electrical technology in mining : the dawn of a new age - Jones, A.V; Tarkenter, R.P (IEE history of technology series, 1992)