Pulsed power supply for electrochemical machining | IEEE Conference Publication | IEEE Xplore