The alternating-current coal hoist | IEEE Journals & Magazine | IEEE Xplore