JPRS (series). 30650. Electro-erosion machining, USSR [articles].

Tools